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.