Cleanup
Added a property for liftGraph
Added runStateBidir
Initial test suite for Automata
Added products of up/down state transformers