Public DA metering

[just-mitch]

Presently, da_gas_used is plumbed through the public kernel circuit, but is unchanged throughout its flow, and we stub the correct final result when we recombine in typescript (see CombinedAccumulatedData::recombine).

We need to update da_gas_used throughout the execution of the public kernel circuit.

This needs to be done by assigning DA gas per opcode in the AVM, which will be defined in #6230

[just-mitch]

This is implemented in the public kernel circuits and AVM.