Function xor_rate_block 

pub fn xor_rate_block(state: KeccakState, block: RateBlock) -> KeccakState

XOR one complete rate block into the 17 rate lanes of a state.

Keeping this wiring as a separately testable kernel proves the flattened RateBlock lane contract without requiring an external simulator to compile a deliberately deep 24-round combinational permutation.