Add the set_oldest_timestamp operation to the model.

The oldest timestamp influences how much data we keep in the history store, and also because incorrect handling of the oldest timestamp was behind WT-9870.