pub fn range_check_flag<F: FieldWitness, const NBITS: usize>( number: F, w: &mut Witness<F>, ) -> Boolean