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