MIR optimizations from a thousand feet

Understanding Wasm, Part 1: In which we disambiguate, define, and delve into the terms "Virtual Machine" and "Instruction Set Architecture".