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.