atgeller/Wasm-prechk: PLDI SRC Model - Adam T. Geller (2020)