Soundly validate all JS usage

[samestep]

PR #68 does a lot of typechecking eagerly as the function is constructed, kind of eliminating the need for the validator from #53 in the Wasm bundle. We should carry this to its logical conclusion by doing complete validation as the function is constructed, and add more tests on the JavaScript side to check this similar to the rose-validator test suite.