fn gt_be(a: &[u8; 32], b: &[u8; 32]) -> bool
Compare two 32-byte big-endian numbers: returns true if a > b.