Extend WiredTiger's functional model to support checkpoints.
We need to:
- Add stable timestamps to the model.
- Add checkpoints to the model, which track the list of committed transactions and the stable timestamp.
- Add the relevant operations: checkpoint, set stable timestamp.