Bump Kani version to 0.53.0

[adpaco-aws]

Bump Kani version to 0.53.0 and add notes for the upcoming release.

For reference, the auto-generated release notes were:

## What's Changed
* Add `kani_core` library placeholder and build logic by @celinval in https://github.com/model-checking/kani/pull/3227
* Change ensures into closures by @pi314mm in https://github.com/model-checking/kani/pull/3207
* (Re)introduce `Invariant` trait by @adpaco-aws in https://github.com/model-checking/kani/pull/3190
* Remove empty box creation from contracts impl by @celinval in https://github.com/model-checking/kani/pull/3233
* Add a new verify-std subcommand to Kani by @celinval in https://github.com/model-checking/kani/pull/3231
* Add a regression test for running `verify-std` command. by @celinval in https://github.com/model-checking/kani/pull/3236
* Inject pointer validity check when casting raw pointers to references by @artemagvanian in https://github.com/model-checking/kani/pull/3221
* Do not turn trivially diverging loops into assume(false) by @tautschnig in https://github.com/model-checking/kani/pull/3223
* Automatic cargo update to 2024-06-10 by @github-actions in https://github.com/model-checking/kani/pull/3246
* Fix "unused mut" warnings created by generated code. by @jsalzbergedu in https://github.com/model-checking/kani/pull/3247
* Refactor stubbing so Kani compiler only invoke rustc once per crate by @celinval in https://github.com/model-checking/kani/pull/3245
* Bump tests/perf/s2n-quic from `d90729d` to `59ef366` by @dependabot in https://github.com/model-checking/kani/pull/3249
* Use cfg=kani_host for host crates by @tautschnig in https://github.com/model-checking/kani/pull/3244
* Add intrinsics and Arbitrary support for no_core by @jaisnan in https://github.com/model-checking/kani/pull/3230
* Update the rust toolchain to nightly-2024-06-11 by @tautschnig in https://github.com/model-checking/kani/pull/3225
* Pointers-out-of-scope test no longer is "fixme" by @tautschnig in https://github.com/model-checking/kani/pull/3252
* Fix a few issues with std verification by @celinval in https://github.com/model-checking/kani/pull/3255
* Fix contract of constant fn with effect feature by @celinval in https://github.com/model-checking/kani/pull/3259
* Fix a few more issues with the std library by @celinval in https://github.com/model-checking/kani/pull/3261
* Fix typed_swap for ZSTs by @tautschnig in https://github.com/model-checking/kani/pull/3256
* Remove further uses of Location::none by @tautschnig in https://github.com/model-checking/kani/pull/3253
* Add a `#[derive(Invariant)]` macro by @adpaco-aws in https://github.com/model-checking/kani/pull/3250
* Use GitHub's M1 macOS runner by @tautschnig in https://github.com/model-checking/kani/pull/3266
* Automatic cargo update to 2024-06-17 by @github-actions in https://github.com/model-checking/kani/pull/3267
* Bump docker/build-push-action from 5 to 6 by @dependabot in https://github.com/model-checking/kani/pull/3268
* Bump tests/perf/s2n-quic from `59ef366` to `7495f7b` by @dependabot in https://github.com/model-checking/kani/pull/3269
* Upgrade Rust toolchain to nightly-2024-06-17 by @celinval in https://github.com/model-checking/kani/pull/3271
* Automatic toolchain upgrade to nightly-2024-06-18 by @github-actions in https://github.com/model-checking/kani/pull/3272
* Contracts: History Expressions via "old" monad by @pi314mm in https://github.com/model-checking/kani/pull/3232
* Function Contracts: remove instances of _renamed by @pi314mm in https://github.com/model-checking/kani/pull/3274
* Fix `--emit mir` handling of constants by @celinval in https://github.com/model-checking/kani/pull/3276
* Use older pip version to remain compatible with Python 3.7 by @tautschnig in https://github.com/model-checking/kani/pull/3279
* Add tests checking if Kani detects dangling pointer dereference inside println macro by @artemagvanian in https://github.com/model-checking/kani/pull/3280
* Remove support for the unstable argument `--function` by @celinval in https://github.com/model-checking/kani/pull/3278
* Deprecate `--visualize` in favor of concrete playback by @celinval in https://github.com/model-checking/kani/pull/3281
* Upgrade Rust toolchain to nightly-2024-06-21 by @celinval in https://github.com/model-checking/kani/pull/3282
* Fix TestLocalChain CI action by @celinval in https://github.com/model-checking/kani/pull/3284
* Automatic toolchain upgrade to nightly-2024-06-22 by @github-actions in https://github.com/model-checking/kani/pull/3285
* Bump tests/perf/s2n-quic from `7495f7b` to `37335c1` by @dependabot in https://github.com/model-checking/kani/pull/3288
* Automatic toolchain upgrade to nightly-2024-06-23 by @github-actions in https://github.com/model-checking/kani/pull/3290
* Automatic cargo update to 2024-06-24 by @github-actions in https://github.com/model-checking/kani/pull/3286
* Automatic toolchain upgrade to nightly-2024-06-24 by @github-actions in https://github.com/model-checking/kani/pull/3291
* Automatic toolchain upgrade to nightly-2024-06-25 by @github-actions in https://github.com/model-checking/kani/pull/3292
* RFC: Quantifiers by @feliperodri in https://github.com/model-checking/kani/pull/3242
* Fix operand in fat pointer comparison by @pi314mm in https://github.com/model-checking/kani/pull/3297
* C library: declare malloc by @tautschnig in https://github.com/model-checking/kani/pull/3296
* Upgrade rust toolchain to 06-26 by @jaisnan in https://github.com/model-checking/kani/pull/3299
* Automatic toolchain upgrade to nightly-2024-06-27 by @github-actions in https://github.com/model-checking/kani/pull/3301
* Automatic cargo update to 2024-07-01 by @github-actions in https://github.com/model-checking/kani/pull/3310
* Function Contracts: Closure Type Inference by @pi314mm in https://github.com/model-checking/kani/pull/3307
* Add support for f16 and f128 for toolchain upgrade to 6/28 by @jaisnan in https://github.com/model-checking/kani/pull/3306
* Automatic toolchain upgrade to nightly-2024-06-29 by @github-actions in https://github.com/model-checking/kani/pull/3315
* Upgrade toolchain to `nightly-2024-07-01` by @adpaco-aws in https://github.com/model-checking/kani/pull/3314
* Towards Proving Memory Initialization by @artemagvanian in https://github.com/model-checking/kani/pull/3264

## New Contributors
* @pi314mm made their first contribution in https://github.com/model-checking/kani/pull/3207
* @artemagvanian made their first contribution in https://github.com/model-checking/kani/pull/3221
* @jsalzbergedu made their first contribution in https://github.com/model-checking/kani/pull/3247

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.52.0...kani-0.53.0

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.