Verification of WebAssembly programs