fn minimize_uint_by_search( value: &mut DynSolValue, current: U256, bits: usize, try_value: &mut dyn FnMut(&DynSolValue) -> bool, ) -> bool