Re-enable binary.wast spec test (#6677)

Fix the wast parser to accept IDs on quoted modules, remove tests that are
invalidated by the multimemory proposal, and add validation that the total
number of variables in a function is less than 2^32 and that the code section is
present if there is a non-empty function section.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/parser/wast-parser.cpp b/src/parser/wast-parser.cpp
index 9473da9fb..137ef0df1 100644
--- a/src/parser/wast-parser.cpp
+++ b/src/parser/wast-parser.cpp
@@ -77,6 +77,8 @@ Result<WASTModule> wastModule(Lexer& in, bool maybeInvalid = false) {
   if (!in.takeSExprStart("module"sv)) {
     return in.err("expected module");
   }
+  // TODO: use ID?
+  [[maybe_unused]] auto id = in.takeID();
   QuotedModuleType type;
   if (in.takeKeyword("quote"sv)) {
     type = QuotedModuleType::Text;