feat(stark): add support for constraint tracking

[adr1anh]

We should add support for naming/tagging constraints in the AirBuilder to improve debugging. When a constraint fails, the debug builder currently reports only "constraint not satisfied at instance {i}, row {r}" with no indication of which logical rule was violated.

Upstream work

• air: some debugging improvements Plonky3/Plonky3#1431 adds NamedAirBuilder and related debugging improvements
• refactor(air): remove tagging, apply uniform constraint description, and optimize evaluation miden-vm#2856 refactors the Miden VM's constraint tagging approach (replaces the earlier PR #2713)

Goals

• Integrate with Plonky3's NamedAirBuilder from air: some debugging improvements Plonky3/Plonky3#1431
• Improve the debug builder in debug.rs to report constraint names on failure
• Ensure zero overhead in production builds

---

Ported from 0xMiden/p3-miden#29