temp save; intel.lua: rename M.unittest_verify_tso to verify_tso