kani-0.58.0

Kani Rust verifier release bundle version 0.58.0.

Major/Breaking Changes

• Improve --jobs UI by @carolynzech in #3790
• Generate contracts of dependencies as assertions by @carolynzech in #3802
• Add UB checks for ptr_offset_from* intrinsics by @celinval in #3757

What's Changed

• Include manifest-path when checking if packages are in the workspace by @qinheping in #3819
• Update kissat to v4.0.1 by @remi-delmas-3000 in #3791
• Rust toolchain upgraded to 2025-01-07 by @remi-delmas-3000 @zhassan-aws

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