Create state machine test framework

[kuujo]

Copycat's incremental compaction algorithm can be efficient but can require fairly complex state machines when snapshotting is not used. Optimizations within Copycat's protocol such as excluding released commits from replication can cause consistency issues when combined with weaker consistency models like those present in session events. In order to guarantee the completeness of state machine implementations, Copycat should provide a state machine fuzz test framework that verifies all instances of the state machine will arrive at the same state with the same output and the same events given a set of input commands.