WT-11620 represented each WiredTiger operation in the model as an object, together with a way to run the operation in WiredTiger and in the model. To fully test RTS, we need to introduce a special operation called crash, which will simulate crashing WiredTiger and thus requiring the use of recovery—including RTS.