[test] uncovered edge cases

[cdetrio]

A comment in test/Todo.md says tests should "either be specified in Semantics.md, have a link to an open issue/PR, or be obvious." Is there a policy elsewhere for including test cases in the suite?

I'm asking because we've ran into a number of bugs in various parser and interpreter implementations, even though the implementations were passing the full spec test suite. I also wanted to open this issue to start tracking them: go-interpreter/wagon#93 go-interpreter/wagon#104 https://github.com/yurydelendik/wasmparser.rs/pull/92 (and more I can dig up later).

[binji]

I don't think we have a more explicit policy for tests. The comment you mention sounds like it should be updated (we don't use Semantics.md anymore, for example).

That said, the tests you describe sound useful. Please feel free to open PRs to add them.

[ericprud]

@cdetrio , do you still expect to produce tests? Should this issue remain open?