wabt

5d2123b1 - Remove unused checks from #1770. NFC (#1772)

Remove unused checks from #1770. NFC (#1772) In #1770 I introduced these (duplicate) checks but it turns out neither were necessary in the final version of the patch.