Fix wasm worker: poll for synthesize and handle wasmoocaml events#2322

JasonGross merged 1 commit into

mit-plv:mastermit-plv/fiat-crypto:masterfrom

JasonGross:fiat-crypto-fix-wasmJasonGross/fiat-crypto:fiat-crypto-fix-wasmCopy head branch name to clipboard