Synquake for transactional memory evaluation