Implement zero-dependency Wasm binary parser#754

bbyalcinkaya wants to merge 12 commits into

masterruntimeverification/wasm-semantics:masterfrom

binary-parserruntimeverification/wasm-semantics:binary-parserCopy head branch name to clipboard