Function validate_block_post_execution 

pub fn validate_block_post_execution<R>(
    header: impl BlockHeader,
    chain_spec: impl OpHardforks,
    result: &BlockExecutionResult<R>,
    receipt_root_bloom: Option<(FixedBytes<32>, Bloom)>,
) -> Result<(), ConsensusError>
where
    R: DepositReceipt,

Validate a block with regard to execution results:

• Compares the receipts root in the block header to the block body
• Compares the gas used in the block header to the actual gas usage after execution

If receipt_root_bloom is provided, the pre-computed receipt root and logs bloom are used instead of computing them from the receipts.