pub fn p256_add(a: &[u64; 4], b: &[u64; 4]) -> [u64; 4]
P-256 field addition a + b mod p for a and b below p, in constant time (ADC, SBB and a CMOV select; every x86-64 CPU has them). Values stay in registers.