pub fn assert_array_eq<AB: AirBuilder, I1: Into<AB::Expr>, I2: Into<AB::Expr>, const N: usize>( builder: &mut AB, x: [I1; N], y: [I2; N], )