Add configuration constant to ignore any gas related calculations.

[feliam]

User wants a way to configure manticore to avoid any cost related to calculating gas values.

The gas value must be completely ignored everywhere it may impose any slowdown. For example:

• Human transactions: sending transactions should not charge any gas fro the caller, nor decrement its balance
• Transaction instructions: CALL, DELEGATECALL, ..
• Returning from transactions or deleting storage values should not refund any gas
• Storage related instructions: SSTORE/SLOAD should not charge gas dinamically
• Memory is unbounded. No gas related limits.

[montyly]

What would be the difference with --evm.oog ignore?

[feliam]

oog ignore. ignores the out of gas exceptions. But it still calculates the remaining gas. ex. paying for CALLDATA in a tx.

see.. https://github.com/trailofbits/manticore/pull/1823/files