Log InvariantViolation at end of Replays

This requires us to add a .cleanup() method to replayer rather than closing
input logger at the end of simulate()
Add TODO, whitespace