[WebAssembly] Add asserts that the expression stack is used in stack order.