My original work to graph the state machines was fairly simplistic. Now it's far more useful. We can now add labels to the edges. It's less useful when all states have binary rules, but as a state can go to multiple states, the labels are very important. We've also spotted another bug by using the graphs.
Oh, and please ignore the colors and fonts. That was just to test how much I could do. GraphViz rocks!