Symbolically Executing WebAssembly in Manticore

Author here, happy to answer any questions about working with Manticore or my experience implementing the WASM spec.

I am very excited this had finally landed in master. To my knowledge there were no other symbolic execution tools that worked on WASM.