[spec] Fix and clean up invariants for host functions#563

rossberg merged 4 commits intomasterWebAssembly/spec:masterfrom

spec.hostfuncWebAssembly/spec:spec.hostfuncCopy head branch name to clipboard