更新包括更新 z3 和 boogie 的最大版本依赖、机密资产 v1.1.2 小修复以及新的状态同步触发指标。