Make SVSTM the default STM to use in testing
Adds the RefImpl, a Reference Implementation
Moves the decision of restarting a Transaction to the SVSTMExecutor