[kevingadd]

The WASM spec ended up being a poor compromise between 'executable spec' (i.e. writing the spec entirely in ocaml or in a theorem prover language) and 'human readable spec' (i.e. the JavaScript or C# specs).