Function range_check 

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