Continued work on the new graph layout system. Make StateGraphViewer use the
new graph layout system so that we can test out the generated graphs easily.