kani-0.27.0

Kani Rust verifier release bundle version 0.27.0.

What's Changed

• Allow excluding packages from verification with --exclude by @adpaco-aws in #2399
• Add size_of annotation to help CBMC's allocator by @tautschnig in #2395
• Implement kani::Arbitrary for Box<T> by @adpaco-aws in #2404
• Use optimized overflow operation everywhere by @celinval in #2405
• Print compilation stats in verbose mode by @celinval in #2420
• Bump CBMC version to 5.82.0 by @adpaco-aws in #2417

Full Changelog: kani-0.26.0...kani-0.27.0