replayer: print out event stats on completion
add funky invariant checker :)