atgeller/Wasm-prechk: Thesis Reference Implementation

This is the release corresponding to the reference implementation for the typing rules in Adam's MSc thesis The latest bug fixes and corrections for the version of the reference implementation matching the thesis can be found at https://github.com/atgeller/Wasm-prechk/releases/tag/Thesis-Reference-Implementation The most up-to-date copy of the reference implementation (which will likely correspond to a different version of typing rules) is available at https://github.com/atgeller/Wasm-prech