fn check_fits_in_bits<F: AcirField>( value: F, num_bits: u32, opcode_index: usize, opcode_name: &str, ) -> Result<(), OpcodeResolutionError<F>>