Replace traps with assertions

Please replace this (and below) with an assertion. A trap is not needed here since this should be impossible in a valid wasm module, and we can assume it is valid basically anywhere (except for the validator itself).

_Originally posted by @kripken in https://github.com/WebAssembly/binaryen/pull/4811#discussion_r933619891_