Retroactively updates the Changelog for Eva.

Related MRs:
- 4503: Improve garbled mix origins and messages
- 4536: Reduction on ACSL valid_string and valid_read_string predicates
- 4552: Fixes a crash when running successive analyses with -eva-domains-function
- 4520: Reduces cvalue state by \base_addr(x) == \base_addr(y)
- 4581: Removes support for widening pragmas
- 4563: Rewrites memcpy and memmove builtins