Fix most of the spec tests

The only ones that are failing are imports, exports, linking and start.

Fixes:
* Make sure to assign loc_ for WasmVar
* Imports must occur before any definition, not just a definition of the
  same kind
* Check that load/store alignment is not larger than natural alignment
* Always check type stack at the end of the check_block; that way an
  empty block is still validated
* Only allow one memory or table, including imports
* Don't allow importing or exporting mutable globals
* Loop label signature is for the fallthrough at the bottom, not the
  branch target. This was implemented properly in the AST checker, but
  not in binary-reader-interpreter
* `top_type_is_any` will check if there is ANY anywhere on the type
  stack; previously this check did not look past the top label's type
  stack limit
* `drop_types_for_return` may be called without having enough values on
  the type stack; for example, at the end of a function the ends with
  return
* properly handle cleaning up the type stack for the interpreter when
  branching to the implicit function label
* rename invoke -> action a few places

1 files changed, 0 insertions, 1 deletions

diff --git a/test/parse/module/import-table.txt b/test/parse/module/import-table.txt
index 5a8f078d..90b26030 100644
--- a/test/parse/module/import-table.txt
+++ b/test/parse/module/import-table.txt
@@ -1,3 +1,2 @@
 (module
-  (import "foo" "1" (table 0 anyfunc))
   (import "foo" "2" (table 0 10 anyfunc)))