Consider computing gas available to public outside of the AVM

[sirasistant]

This will allow us to avoid constraining the clamping in the tx execution trace

    Gas gas_limit =
        Gas{ std::min(tx_gas_limit.l2Gas, gas_used.l2Gas + MAX_L2_GAS_PER_TX_PUBLIC_PORTION), tx_gas_limit.daGas };