Validate the transactions used by the Persistent data types

[bitdancer]

It should be possible to write a test harness that makes sure every transaction used by the Persistent data types is failure-tested to make sure everything is rolled back correctly (that is, that everything that needs to be snapshotted is).