WT-11617 introduced the functional RTS model. Modify timestamp_abort to use it for verifying the correctness of recovery.