Поможет глазами смотреть на то, что сгенерилось, а бинарник генерировать через wasmTextToBinary, который в SpiderMonkey
Как wasmTextToBinary будет это делать если нет еще опкодов для anyref <-> tuple / struct / i31ref кастинга и вообще все это очень условно. Спека по хорошену не обновлялась аж 2 года. С рефакторингом interface types все может очень сильно еще поменяться