Fix state machine connectivity test
Uses a non-recursive DFS to test the state machine for connectivity. We do a single pass from the root. The graph is connected if and only if no nodes remain.
Closes #73 (closed)
Uses a non-recursive DFS to test the state machine for connectivity. We do a single pass from the root. The graph is connected if and only if no nodes remain.
Closes #73 (closed)