Checkpoint and Replay

Restore consistent operator state and input position, understand replay, and separate checkpoint recovery from exactly-once external effects.