Investigate including precompiles operations as part of simulation testing

[lumtis]

Describe the Issue
Precompiles will become an important component of the protocol and sensitive security wise.

Precompile interaction can involve invariant as mentioned in #2991

We should add precompile interactions as part of the simulation test suite.

Tricky part is that simulation tests are designed for Comsos modules, whereas precompile are smart contract interaction (sending EVM messages), so would potentially involve extending EVM simulation tests