pub fn extract_l1_block_number_from_mix_hash(mix_hash: B256) -> u64
Extract L1 block number from header mix_hash (bytes 8-15).