Creusot 0.11.0：VerifyThis 冠军

Creusot 0.11.0 版本在 VerifyThis 2025 竞赛中获胜，这是首个赢得该竞赛的 Rust 验证工具。该版本包含多项改进，包括对循环不变式的更好支持、更快的验证速度以及增强的错误信息。