Function rotr64 

pub fn rotr64(a: [Field; 64], n: usize) -> [Field; 64]

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