fn validate_uint_mutation( original: U256, mutated: U256, size: usize, ) -> Option<U256>
Returns mutated uint value if different from the original value and if it fits in the given size, otherwise None.