intel.lua:: verify_tso: add statistics parameter for verification; selftest.lua:: run selftest_verify_tso 10 times :-)