kani-0.18.0

Kani Rust verifier release bundle version 0.18.0.

Breaking Changes

• Delete kani::expect_fail function by @zhassan-aws in #2027

What's Changed

• Implement derive macro for Arbitrary by @celinval in #2016
• Introduce a kani macro for checking coverage: kani::cover by @zhassan-aws in #2011
• Publish our crates documentation by @celinval in #1994
• Rename core::assert to avoid possible conflicts in user crate by @zhassan-aws in #2005
• Stop merging all files generated by the compiler by @celinval in #1956
• Resolve paths in kani::stub attributes (ignoring use statements) by @aaronbembenek-aws in #1999
• Report correct package count in assess by @tedinski in #2026
• Amend platform intrinsics documentation by @adpaco-aws in #2030

Full Changelog: kani-0.17.0...kani-0.18.0