Bump Kani version to 0.44.0

[zhassan-aws]

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

What's Changed

• Automate cargo update without dependabot by @tautschnig in Automate cargo update without dependabot #2942
• Update nightly toolchain to toolchain-2023-12-15 by @celinval in Update nightly toolchain to toolchain-2023-12-15 #2948
• Automatic cargo update to 2023-12-18 by @github-actions in Automatic cargo update to 2023-12-18 #2951
• Migrate function, block and statement modules to StableMIR by @celinval in Migrate function, block and statement modules to StableMIR #2947
• Update Rust toolchain to nightly-2023-12-18 by @adpaco-aws in Update Rust toolchain to nightly-2023-12-18 #2953
• Update the rust toolchain to 2023-12-20 by @celinval in Update the rust toolchain to 2023-12-20 #2961
• Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR by @celinval in Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #2959
• Build CBMC with cmake in all "CBMC latest" jobs by @adpaco-aws in Build CBMC with cmake in all "CBMC latest" jobs #2965
• Automatic cargo update to 2024-01-01 by @github-actions in Automatic cargo update to 2024-01-01 #2964
• Automatic cargo update to 2024-01-08 by @github-actions in Automatic cargo update to 2024-01-08 #2968
• Upgrade to 2024-01-08 rust toolchain by @zhassan-aws in Upgrade to 2024-01-08 rust toolchain #2969

Full Changelog: kani-0.43.0...kani-0.44.0

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

[jaisnan]

Thanks! Changelog can be edited post-release as well, so approving this.