Function range_check_impl

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