pub const fn fiat_p521_carry_mul(arg1: &[u64; 9], arg2: &[u64; 9]) -> [u64; 9]
The function fiat_p521_carry_mul multiplies two field elements and reduces the result.
Postconditions: eval out1 mod m = (eval arg1 * eval arg2) mod m