Sanitize wasm code about anoma-archive HOT 4 OPEN

It seems that NaN canonicalization is already set when Singlepass is created.
https://github.com/heliaxdev/anoma-prototype/blob/e1023fe30dc4cbd928ab05b9e9c0c3f099369a2c/ledger/src/bin/anoma-node/vm/mod.rs#L127
In the default configuration, enable_nan_canonicalization is set true.
https://docs.rs/wasmer-compiler-singlepass/1.0.2/src/wasmer_compiler_singlepass/config.rs.html#20-26

from anoma-archive.

Another thing we might need to check here is that wasm code doesn't use any internal memory other than what it can get from the host environment. We can also check the module's imports such as the host env functions signatures.

from anoma-archive.

We want to avoid any non-deterministic behaviour and anything which cannot be appropriately (safely) gas-metered.

from anoma-archive.

Let's also remember to review the WasmFeatures that we've added in #110, for which we chose the most restrictive options for now for safety.

from anoma-archive.