Module Verification

After transforming a module from binary to our internal instruction format, we need to validate that a given module is valid, according to the validation logic specified in the [Wasm Validation Section](https://webassembly.github.io/spec/core/valid/index.html) and other places in the spec