- This is due to the safety fix to the internal function, which was
    done here: rust-lang/rust#120128

Dependency upgrade resulting from `cargo update`.

Co-authored-by: tautschnig <tautschnig@users.noreply.github.com>

These are the auto-generated release notes for comparison purposes:

## What's Changed
* Rethink `should_panic` and `fail_uncoverable` options as global
conditions by @adpaco-aws in
model-checking#2967
* Upgrade toolchain to nightly-2024-01-17 by @celinval in
model-checking#2976
* Benchcomp visualize: fix missing import by @tautschnig in
model-checking#2977
* Cargo update 2024-01-18 by @remi-delmas-3000 in
model-checking#2978

**Full Changelog**:
model-checking/kani@kani-0.44.0...kani-0.45.0

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

Make __kani__workaround_core_assert public in lib.rs

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Some change has dramatically increase the memory usage for this harness.
For now, we should include this harness in the list of slow tests until
we are able to identify the cause.
We also fix the unwind in the remaning harnesses.

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>