exhaustiveness-checking

The compiler should catch missing state cases, not your QA team

Adding a new state to your machine is easy. Remembering to update every switch statement is not.