Check that error states are final states and initial states are start states
Merge pull request #79 from NitorCreations/error-states-must-be-final

check that error states are final