Clean up demo automaton example.
Benchmarks
Merge branch 'master' of https://github.com/brownplt/Resugarer
General cleanup.