[spec] Define soundness rules in SpecTec#2125

rossberg wants to merge 6 commits intomainWebAssembly/spec:mainfrom

soundness.spectecWebAssembly/spec:soundness.spectecCopy head branch name to clipboard