kani-0.49.0

What's Changed

• Disable removal of storage markers by @zhassan-aws in #3083
• Ensure storage markers are kept in std code by @zhassan-aws in #3080
• Implement validity checks by @celinval in #3085
• Allow modifies clause for verification only by @feliperodri in #3098
• Add optional scatterplot to benchcomp output by @tautschnig in #3077
• Expand ${var} in benchcomp variant env by @karkhaz in #3090
• Add benchcomp filter command by @karkhaz in #3105
• Upgrade Rust toolchain to 2024-03-29 by @zhassan-aws @celinval @adpaco-aws @feliperodri

Full Changelog: kani-0.48.0...kani-0.49.0