fn lt_bitstring_value<F: FieldWitness>( xs: &[bool; 255], ys: &[bool; 255], w: &mut Witness<F>, ) -> Boolean