Bump Kani version to 0.58.0

[qinheping]

What's Changed

• Package Docker release step: ensure compiler is installed by @tautschnig in Package Docker release step: ensure compiler is installed #3789
• Improve --jobs UI by @carolynzech in Improve --jobs UI #3790
• Update kissat to v4.0.1 by @remi-delmas-3000 in Update kissat to v4.0.1 #3791
• Automatic cargo update to 2024-12-23 by @github-actions in Automatic cargo update to 2024-12-23 #3792
• Bump tests/perf/s2n-quic from 0b3f892 to a54686e by @dependabot in Bump tests/perf/s2n-quic from 0b3f892 to a54686e #3793
• Upgrade toolchain to nightly-2024-12-18 by @zhassan-aws in Upgrade toolchain to nightly-2024-12-18 #3794
• Automatic cargo update to 2024-12-30 by @github-actions in Automatic cargo update to 2024-12-30 #3800
• fix: clippy by @ShoyuVanilla in fix: clippy #3806
• Update dependencies (02.01.2025). by @remi-delmas-3000 in Update dependencies (02.01.2025). #3809
• Update charon submodule by @zhassan-aws in Update charon submodule #3801
• Upgrade toolchain to 2024-12-19 by @zhassan-aws in Upgrade toolchain to 2024-12-19 #3810
• Automatic cargo update to 2025-01-06 by @github-actions in Automatic cargo update to 2025-01-06 #3812
• Bump tests/perf/s2n-quic from a54686e to ac52a48 by @dependabot in Bump tests/perf/s2n-quic from a54686e to ac52a48 #3813
• Generate contracts of dependencies as assertions by @carolynzech in Generate contracts of dependencies as assertions #3802
• Fix hanging command in std-analysis.sh by @carolynzech in Fix hanging command in std-analysis.sh #3818
• Add UB checks for ptr_offset_from* intrinsics by @celinval in Add UB checks for ptr_offset_from* intrinsics #3757
• Toolchain update 06-01-2025 by @remi-delmas-3000 in Toolchain update 06-01-2025 #3814
• Automatic toolchain upgrade to nightly-2025-01-07 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-07 #3820
• Include manifest-path when checking if packages are in the workspace by @qinheping in Include manifest-path when checking if packages are in the workspace #3819

New Contributors

• @ShoyuVanilla made their first contribution in fix: clippy #3806

Full Changelog: kani-0.57.0...kani-0.58.0

[zhassan-aws]

This one should be included in the release notes:

• Update kissat to v4.0.1 by @remi-delmas-3000 in Update kissat to v4.0.1 #3791

Also, please add a line at the end indicating the toolchain upgrade.

[qinheping]

This one should be included in the release notes:

* Update kissat to v4.0.1 by @remi-delmas-3000 in [Update kissat to v4.0.1 #3791](https://github.com/model-checking/kani/pull/3791)

Also, please add a line at the end indicating the toolchain upgrade.

Thank you! @zhassan-aws New lines added.