Extend the WiredTiger model to support for logged, non-timestamped tables.

The work so far in modeling WiredTiger and RTS that has been done so far assumes that all tables are timestamped and do not use logging, because this is the target for RTS. However, we would like to be able to integrate model-based testing with tests such as timestamp_abort (WT-11619), which use both logged and non-logged tables, so we need to extend the model accordingly.