Simple app to validate state machine implementations

Walks through the games in the repository, validating each one in a test
state machine against a reference prover statemachine