add support for STO, at least in the intruder benchmark. currently only uses GenericSTM (not higher level data structures) and as a result is quite slow (~5x than tl2)