pub fn crt_balanced(residues: &[u32], moduli: &[u32]) -> BigInt
Garner CRT followed by balanced (symmetric) folding into (-M/2, M/2].
(-M/2, M/2]