add mverify options, option to report benmark after simulation