kani-0.6.0

Kani Rust verifier release bundle version 0.6.0.

What's Changed

• Get Kani to run on Apple M1 by @ssoudan in #1323
• Implements any_vec::<LENGTH, T>() by @YoshikiTakashima in #1319
• Add support to all object-safe receiver types by @celinval in #1326
• Add support for volatile_load intrinsic by @adpaco-aws in #1347
• Fix bug that affected closures by @fzaiser in #1338
• Update kani's std library to use rust 2021 by @celinval in #1352
• Update toolchain to 2022-07-05 by @celinval in #1340
• Bump to CBMC 5.61 by @tedinski in #1357

Full Changelog: kani-0.5.0...kani-0.6.0