Bump stwo-cairo.

[ilyalesokhin-starkware]

This change is 

[cursor]

PR Summary

Medium Risk
Touches the Cairo proving/verification dependency graph; behavior changes depend on upstream stwo-cairo between commits, and dual revisions in the lockfile merit checking prove/verify tests.

Overview
Updates the workspace stwo-cairo git dependencies (cairo-air, stwo-cairo-utils, stwo-cairo-adapter, stwo-cairo-prover, stwo-cairo-serialize, stwo-cairo-common) from commit a837f0e to ce55c753, with Cargo.lock regenerated to match.

The lockfile now carries two stwo-cairo revisions: workspace crates resolve to ce55c753, while stwo-circuits (unchanged pin) still pulls a837f0e for privacy/circuit verifier paths. No Rust source changes—only dependency pins.

^{Reviewed by Cursor Bugbot for commit a50c792. Bugbot is set up for automated code reviews on this repo. Configure here.}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 64.29%. Comparing base (0b5d6af) to head (a50c792).

Additional details and impacted files

@@            Coverage Diff             @@
##           ilya/base     #378   +/-   ##
==========================================
  Coverage      64.29%   64.29%           
==========================================
  Files             39       39           
  Lines           5613     5613           
==========================================
  Hits            3609     3609           
  Misses          2004     2004           

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.