kani-0.64.0

[0.64.0]

Major Changes

• Add support for loop modifies in loop contracts by @thanhnguyen-aws in #4174
• Autoharness: Derive Arbitrary for structs and enums by @carolynzech in #4167, #4194
• Remove assess subcommand by @carolynzech in #4111

What's Changed

• Fix static union value crash by @thanhnguyen-aws in #4112
• Fix loop invariant historical variables bug by @thanhnguyen-aws in #4150
• Update quantifiers' documentation by @thanhnguyen-aws in #4142
• Optimize goto binary exporting in cprover_bindings by @AlexanderPortland in #4148
• Add the option to generate performance flamegraphs by @AlexanderPortland in #4138
• Introduce compiler timing script & CI job by @AlexanderPortland in #4154
• Optimize reachability with non-mutating global passes by @AlexanderPortland in #4177
• Stub panics during MIR transformation by @AlexanderPortland in #4169
• BoundedArbitrary: Handle enums with zero or one variants by @zhassan-aws in #4171
• Upgrade toolchain to 2025-07-02 by @carolynzech, @tautschnig in #4195

Full Changelog: kani-0.63.0...kani-0.64.0