Updates include dependency update for z3 and boogie max version, confidential asset v1.1.2 minor fixes, and new state sync trigger metrics.