One primary timestamp test we have is test/csuite/timestamp_abort/main.c. Enhance the test to perform identical operations to a shadow table and verify that the identical data exists in both tables. This aspect is meant to test that all operations within a single transaction are always visible in the same way. Do this both after the crash/recovery of the test as well as add a child thread to do live validation as the child process is running via a snapshot isolation transaction.