Group transition equiv classes at last moment.

Since we're about to change the definition of equivalent transitions, wait until all states and transitions have been immutably defined before grouping transitions into equivalence classes.
Transition debug output.
Assert that we don't use overly-huge keys.