The per-tx state gas check reserved a transaction's full gas limit
against the state gas budget, double-counting across both dimensions.
Block-end validation (max(regular, state) <= gas_limit) catches state
gas overflow. See ethereum/execution-specs#2578.
The parallel processor executes transactions independently with
per-tx gas pools. Replicate the EELS check_transaction per-dimension
reservation check in prepareExecResult to correctly reject blocks
that exceed gas limits.
Also add ValidateGasLimit to ValidateBody to catch BAL items
exceeding block_gas_limit / GAS_BLOCK_ACCESS_LIST_ITEM before
block processing.
Prefix all BAL mismatch errors with "invalid block access list:"
for consistent mapper matching.
