WebAssembly optimisation

Parses a binary WebAssembly module, folds constant expressions, removes code after terminating instructions and unused locals, and then emits a smaller module. The result is verified by running it in an own sandbox: the size before and after, every change and the real call result are shown.