kani-0.7.0

Kani Rust verifier release bundle version 0.7.0.

What's Changed

• Add additional workaround for Ubuntu 18.04 by @tedinski in #1371
• Remove PtrWrite hook by @danielsn in #1176
• Remove ReadPtr hook by @danielsn in #1189
• Produce more pretty names by @fzaiser in #1310
• Fix unreachable!() override macro + new tests by @celinval in #1372
• Fix static variable malformed symbol by @celinval in #1380
• Fix codegen of skipped functions by @celinval in #1382
• Add option to run CBMC sanity checks + set is_param for function parameters by @celinval in #1387
• Implement support for generators by @fzaiser in #1378
• Fix compilation of panic!() when the arg is another macro. by @celinval in #1407
• Update toolchain to nightly-2022-07-19 by @celinval in #1399

Full Changelog: kani-0.6.0...kani-0.7.0