kani-0.16.0

Kani Rust verifier release bundle version 0.16.0.

What's Changed

• Allow panic with args to be called in a const context by @zhassan-aws in #1918
• Add support for SIMD vector comparison intrinsics by @adpaco-aws in #1853
• Restore support for bitwise SIMD intrinsics by @adpaco-aws in #1893
• Restore support for some SIMD arithmetic intrinsics by @adpaco-aws in #1931
• Restore simd_extract and simd_insert intrinsics by @adpaco-aws in #1942
• Fix crash for unsupported crate types by @celinval in #1912
• Upgrade rust toolchain to 2022-11-20 by @zhassan-aws in #1927

Full Changelog: kani-0.15.0...kani-0.16.0