Work in progress on tests for verifty_instr function#2

olympichek wants to merge 52 commits into

move-language:mainmove-language/move-sui:mainfrom

formal-land:valerii-huhnin@verify-instr-testsformal-land/move-sui:valerii-huhnin@verify-instr-testsCopy head branch name to clipboard