This adds an amazing amount of verification, but it doesn't mean that the resulting code is slow. Doing unit checks is awesome. The grid state machine view makes it easier to catch errors and refactor the transitions.