CHEX: Multiversion Replay with Ordered Checkpoints