I think a "flush without updating the state" operation would be enough to handle many use-cases and will probably easier to implement efficiently than full undo

I think a "flush without updating the state" operation would be enough to handle many use-cases and will probably easier to implement efficiently than full undo or checkpointing support.