Update subtree to 2025-02-11#259

Merged

carolynzech merged 6 commits intomodel-checking:mainfrom

carolynzech:sync-2025-02-11

Mar 3, 2025

Commits on Feb 21, 2025

Commits on Feb 26, 2025

Fix merge conflicts
Carolyn Zech
committed
rustfmt
Carolyn Zech
committed
Update toolchain & Kani version to 2025-02-11
Carolyn Zech
committed

Commits on Mar 3, 2025

address comments from review
Carolyn Zech
committed