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