[spectec] Misc corrections for SpecTec IL semantics#2122

rossberg merged 1 commit intoWebAssembly:mainWebAssembly/spec:mainfrom

jaehyun1ee:iljaehyun1ee/wasm-spec:ilCopy head branch name to clipboard