WebAssembly: name ExecState consistently