Added the SpinLock stuff in tester (fixes the segfault)
Simplified the argument passing and checking in tester
Split txn manager implementations into separate files
Cleaned up hashtable display