Cleaning up thread transition validation, removing graphml diagram.

If you want to visualize Doppio's thread transition,
generate_thread_transition_graph will print a GraphViz DOT file to stdout,
complete with edge labels, that can be visualized. This allows us to
maintain valid transitions in a single location.