Add new HelperInstr sort#748

automergerpr-permission-manager[bot] merged 3 commits intomasterruntimeverification/wasm-semantics:masterfrom

anvacaru/helper-sortruntimeverification/wasm-semantics:anvacaru/helper-sortCopy head branch name to clipboard