Use manticore for wasm smart contracts

[yubrew]

Is your feature request related to a problem? Please describe. I'm always frustrated when my smart contracts have vulnerabilities that put other people's funds or assets at risk.

Describe the solution you'd like I want to use Manticore for wasm smart contracts in the same way as people use Manticore for Solidity smart contract.

Describe alternatives you've considered test-fuzzer seems ok, manual review, paying for security audits.

Additional context Terra Luna has a 31b market cap. Solana has a 28b market cap. Atom has a 9b market cap. Near has a 7b market cap. There are many other rust based smart contracts that compile into wasm.