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