[NFC] Fix release notes about ASan

[AdvenamTacet]

Summary

Existing notes were not fully correct and were missing a detail:

• std::vector was annotated long time ago,
• std::deque annotations are new,
• now container annotations were extended to all allocators (support in ASan API exists since LLVM16).

[philnik]

LGTM % comment.

libcxx/docs/ReleaseNotes/17.rst

110–113

I wouldn't go into too much detail here. We already added information about the annotations below. I think a design doc would be nice, but that will probably take too long for it to get into this release.

[AdvenamTacet]

Including suggestions.

[AdvenamTacet]

I changed order to avoid suggesting that std::deque has annotations not for all allocators.

libcxx/docs/ReleaseNotes/17.rst

110–113

I included the change, but we can consider informing wider userbase that alignment requirement is no longer existing as it's the very one thing everyone knows about ASan.

libcxx/docs/ReleaseNotes/17.rst

 
 - The library now provides a debug mode which is a superset of the hardened mode, additionally enabling more expensive
   checks that are not suitable to be used in production. This replaces the legacy debug mode that was removed in this
   release. Unlike the legacy debug mode, this doesn't affect the ABI and doesn't require locking. Vendors can configure
   whether the debug mode is enabled by default with the ``LIBCXX_HARDENING_MODE`` variable at CMake configuration time.
   Users can control whether the debug mode is enabled on a per translation unit basis using the
   ``-D_LIBCPP_ENABLE_DEBUG_MODE=1`` macro. See ``libcxx/docs/Hardening.rst`` for more details.
 
-- ASAN annotations to detect container overflow have been added to the
-  containers ``std::deque``, and ``std::vector``.
+- ASan container annotations have been extended to cover all allocators in ``std::vector``.
+
+- ASan annotations have been added to the ``std::deque`` container, to detect container overflows.
 
 Deprecations and Removals
 -------------------------
 
 - The "safe" mode is replaced by the hardened mode in this release. The ``LIBCXX_ENABLE_ASSERTIONS`` CMake variable is
   deprecated and setting it will trigger an error; use ``LIBCXX_HARDENING_MODE`` instead. Similarly, the
   ``_LIBCPP_ENABLE_ASSERTIONS`` macro is deprecated and setting it to ``1`` now enables the hardened mode. See
   ``libcxx/docs/Hardening.rst`` for more details.
 

 - The headers ``<experimental/deque>``, ``<experimental/forward_list>``, ``<experimental/list>``,
   ``<experimental/map>``, ``<experimental/memory_resource>``, ``<experimental/regex>``, ``<experimental/set>``,
   ``<experimental/string>``, ``<experimental/unordered_map>``, ``<experimental/unordered_set>``,
   and ``<experimental/vector>`` will be removed in LLVM 18, as all their contents will have been implemented in
   namespace ``std`` for at least two releases.
 
 API Changes
 -----------
-- Added ``__asan_annotate_container_with_allocator``, which is is a
-  customization point to allow users to disable Address Sanitizer annotations
-  for containers for specific allocators. See :ref:`turning-off-asan` for more
+- Added ``__asan_annotate_container_with_allocator``, which is a
+  customization point to allow users to disable Address Sanitizer container annotations
+  for specific allocators. See :ref:`turning-off-asan` for more
   information.
 
 ABI Affecting Changes
 ---------------------
 
 - Symbols for ``std::allocator_arg``, ``std::defer_lock``, ``std::try_to_lock``, ``std::adopt_lock``, and
   ``std::piecewise_construct`` have been removed from the built library. Under most circumstances, user code
   should not have been relying on those symbols anyway since those are empty classes and the compiler does