Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla.

Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla. #20517