kani-0.48.0

Major Changes

• We fixed a soundness bug that in some cases may cause Kani to not detect a use-after-free issue in #3063

What's Changed

• Fix codegen_atomic_binop for atomic_ptr by @qinheping in #3047
• Retrieve info for recursion tracker reliably by @feliperodri in #3045
• Add --use-local-toolchain to Kani setup by @jaisnan in #3056
• Replace internal reverse_postorder by a stable one by @celinval in #3064
• Add option to override --crate-name from kani by @adpaco-aws in #3054
• Add method to assert a pointer is valid by @celinval in #3062
• Rust toolchain upgraded to 2024-03-11 by @adpaco-ws @celinval @zyadh

Full Changelog: kani-0.47.0...kani-0.48.0