Types used only by the Automaton class should be correctly scoped.
Don't have a field telling us what the class is, that's what the vtable
is for.
First pass at DFA building.  Currently won't work with NFAs that have
two equivalent transitions.
Working (?) DFA -> NFA conversion.
Only spit out debugging data in a debug build.
Merge changed name of Assertion class.