Add a note on memory initialization checks

CHANGELOG.md

@@ -10,6 +10,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 * Coverage reporting in Kani is now source-based instead of line-based.
 Consequently, the unstable `-Zline-coverage` flag has been replaced with a `-Zsource-coverage` one.
 Check the [Source-Coverage RFC](https://model-checking.github.io/kani/rfc/rfcs/0011-source-coverage.html) for more details.
+* Several improvements were made to the memory initialization checks. The current state is summarized in https://github.com/model-checking/kani/issues/3300. We welcome your feedback!
 
 ### What's Changed
 * Update CBMC build instructions for Amazon Linux 2 by @tautschnig in https://github.com/model-checking/kani/pull/3431