Bump Kani version to 0.61.0

[carolynzech]

Bump Kani version to 0.61.0.

Github-generated release notes:

What's Changed

• Fix CHANGELOG of 0.60.0 by @qinheping in Fix CHANGELOG of 0.60.0 #3925
• Bump tests/perf/s2n-quic from d88faa4 to 8670e83 by @dependabot in Bump tests/perf/s2n-quic from d88faa4 to 8670e83 #3928
• Update toolchain to 2025-03-04 by @qinheping in Update toolchain to 2025-03-04 #3927
• Install the right toolchain for HEAD and BASE checks in verify-std-check.yml by @remi-delmas-3000 in Install the right toolchain for HEAD and BASE checks in verify-std-check.yml #3920
• Automatic cargo update to 2025-03-10 by @github-actions in Automatic cargo update to 2025-03-10 #3926
• Automatic toolchain upgrade to nightly-2025-03-05 by @github-actions in Automatic toolchain upgrade to nightly-2025-03-05 #3929
• Upgrade toolchain to nightly-2025-03-07 by @tautschnig in Upgrade toolchain to nightly-2025-03-07 #3931
• Upgrade toolchain to nightly-2025-03-12 by @tautschnig in Upgrade toolchain to nightly-2025-03-12 #3933
• Automatic toolchain upgrade to nightly-2025-03-13 by @github-actions in Automatic toolchain upgrade to nightly-2025-03-13 #3934
• Update CBMC dependency to 6.5.0 by @tautschnig in Update CBMC dependency to 6.5.0 #3936
• Automatic toolchain upgrade to nightly-2025-03-14 by @github-actions in Automatic toolchain upgrade to nightly-2025-03-14 #3937
• Automatic toolchain upgrade to nightly-2025-03-15 by @github-actions in Automatic toolchain upgrade to nightly-2025-03-15 #3938
• Automatic toolchain upgrade to nightly-2025-03-16 by @github-actions in Automatic toolchain upgrade to nightly-2025-03-16 #3939
• Automatic toolchain upgrade to nightly-2025-03-17 by @github-actions in Automatic toolchain upgrade to nightly-2025-03-17 #3940
• Automatic cargo update to 2025-03-17 by @github-actions in Automatic cargo update to 2025-03-17 #3941
• Autoharness: Don't panic on _ argument and add _autoharness suffix to GOTO files by @carolynzech in Autoharness: Don't panic on _ argument and add _autoharness suffix to GOTO files #3942
• Implement f16 and f128 cases in codegen_float_type by @carolynzech in Implement f16 and f128 cases in codegen_float_type #3943
• Support function implementations of known built-ins by @tautschnig in Support function implementations of known built-ins #3945
• Autoharness: metadata improvements and enable standard library application by @carolynzech in Autoharness: metadata improvements and enable standard library application #3948
• Autoharness: --list option by @carolynzech in Autoharness: --list option #3952
• Add support for anonymous nested statics by @carolynzech in Add support for anonymous nested statics #3953
• Automatic cargo update to 2025-03-24 by @github-actions in Automatic cargo update to 2025-03-24 #3954
• Bump tests/perf/s2n-quic from 8670e83 to 324cf31 by @dependabot in Bump tests/perf/s2n-quic from 8670e83 to 324cf31 #3955
• Document behavior of checked_size_of_raw and is_inbounds by @rajath-mk in Document behavior of checked_size_of_raw and is_inbounds #3956
• Upgrade toolchain to 2025-03-18 by @zhassan-aws in Upgrade toolchain to 2025-03-18 #3959
• Remove unstable-features from code formatting script by @zhassan-aws in Remove unstable-features from code formatting script #3962
• Remove CI job to update features/verify-rust-std by @tautschnig in Remove CI job to update features/verify-rust-std #3963
• Make is_inbounds public by @rajath-mk in Make is_inbounds public #3958
• Enable Kani to work with a stable toolchain by @zhassan-aws in Enable Kani to work with a stable toolchain #3964
• Automatic cargo update to 2025-03-31 by @github-actions in Automatic cargo update to 2025-03-31 #3966
• Add support for struct field accessing in loop contracts by @thanhnguyen-aws in Add support for struct field accessing in loop contracts #3970
• Bump tests/perf/s2n-quic from 324cf31 to d0aff82 by @dependabot in Bump tests/perf/s2n-quic from 324cf31 to d0aff82 #3968
• Clarify is_inbounds docs by @carolynzech in Clarify is_inbounds docs #3974
• Upgrade toolchain to 2025-04-01 by @carolynzech in Upgrade toolchain to 2025-04-01 #3973
• Remove remaining --enable-unstable mentions by @carolynzech in Remove remaining --enable-unstable mentions #3978
• Clean up unused dependencies by @zhassan-aws in Clean up unused dependencies #3981
• Automatic toolchain upgrade to nightly-2025-04-02 by @github-actions in Automatic toolchain upgrade to nightly-2025-04-02 #3983
• Update dependencies per cargo-outdated by @carolynzech in Update dependencies per cargo-outdated #3982
• Fix autoharness termination test & print metadata in alphabetical order by @carolynzech in Fix autoharness termination test & print metadata in alphabetical order #3971
• Fix cargo invocations to only use pkg_args where appropriate by @carolynzech in Fix cargo invocations to only use pkg_args where appropriate #3984

Full Changelog: kani-0.60.0...kani-0.61.0

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

[tautschnig]

Approving with the assumption that my remarks on the changelog entries will be addressed.