Added sanity checks in OptimisticConflictChecker.hasConflictAfter(). Still need to track down our out-of-order rollbacks with OCC
Updates for the specexec experiment scripts