Clean up state machine diagram

Change the orientation of the state machine diagram so it renders large enough
to read.

Fix reference to CHECKBOOT that should be CHECK_BOOT.

Fix reference to STOP that should be STOP_VM.

Fix order of edge definitions to make them more "logical".