kani-0.4.0

Kani Rust verifier release bundle version 0.4.0.

What's Changed

• Enable CBMC's equation-level slicer by @zhassan-aws in #1252
• Report CBMC verification time by @zhassan-aws in #1247
• Support crate-type=bin and --tests with dependencies by @tedinski in #1260
• Bump CBMC version to 5.59.0 by @adpaco-aws in #1270
• Bump CBMC viewer version to 3.5 by @zhassan-aws in #1261
• Update Rust Toolchain to 2022-06-09 by @tedinski in #1272

Full Changelog: kani-0.3.0...kani-0.4.0