DSTM Testing

Ok, so far it seems that my C DSTM is working. I need to devise some test scenarios and double check that it works on a single thread:-

Committed transaction with:
- a read and a write
- a read
- a write
- a read upgraded to a write
- a write upgraded to a read
- Nothing
- Several read and written objects with a mix of upgrades

Aborted transactions with the same.

Run more than one transaction in a row and see what values you get.

Verify that all the values are what you expect them to be.