Function rotr32 

pub fn rotr32(a: [Field; 32], n: usize) -> [Field; 32]

Rotate-right by n bits (pure re-wiring, zero gates): out[i] = a[(i+n) % 32].