Enter nodes and probability edges (via JSON) to visualize a state machine and validate its correctness.