Cleanup in order reduction pass

I noticed two things looking through the code which we may want to clean up:
1. There is a general `catch(Exception e)`. Exceptions should generally be more specific (for example `NumberFormatException` rather than catching the superclass `Exception`, as was written in our style guide.
2. automaton validation was turned off: `config.DO_VALIDATION = false;`. Why was this necessary?
