pub fn check_bit_size<F: AcirField>( value: F, num_bits: u32, ) -> Result<(), OpcodeResolutionError<F>>