integrate verify triple sum

[Stavbe]

Note

Medium Risk
Touches AIR constraint logic used for proving/verification; while the math is intended to be equivalent, any mismatch in input ordering or constraint wiring could break proof validity.

Overview
triple_sum_32 no longer inlines its carry computations; it now forwards the evaluated limbs/results into a new verify_triple_sum_32::accumulate_constraints helper.

Adds verify_triple_sum_32 modules in both cairo_air and circuit_air, centralizing the low/high carry range constraints (0/1/2) and updating the subroutine mod.rs exports accordingly.

^{Written by Cursor Bugbot for commit 968b6d7. This will update automatically on new commits. Configure here.}

[Stavbe]

• add blake in circuit + tests #462
• integrate blake g gate #461
• integrate triple_xor gate #452
• integrate m31_to_u32 gate in stwo-circuit #437
• integrate verify triple sum #432 👈 (View in Graphite)
• auto-gen files #425
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[reviewable-StarkWare]

This change is 

[az-starkware]

@az-starkware reviewed 8 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on anatgstarkware).