Durable execution without history replay

Most durable execution systems recover by replaying retained history. TCC checkpoints the program continuation instead, so recovery need not reconstruct the present from the past.