EVM Kernel: Add cumulative execution gas to EVM BIPs

Checklist

• Provide automatic testing.
• Add an item in the changelog

First step towards using the execution gas to change the gas price, instead of the (sometimes vastly overapproximating) tick model.

We just keep track of cumulative execution gas in the BlockInProgress, without using it.

Next MR will move gas_price.rs to use this new field.

Manually testing the MR