[WebAssembly] Model the return value of store instructions in wasm.