Add arithmetic op counts to InfoEvaluator

[andrewmilson]

Couldn't see a way to add the counting types without removing Copy from a few places.
Some constraint code is a bit more ugly now :(

---

This change is 

[andrewmilson]

• Add arithmetic op counts to InfoEvaluator #832 👈
• Add size estimate for StarkProof #831
• dev

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

Join @andrewmilson and the rest of your teammates on Graphite

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 92.20779% with 18 lines in your changes missing coverage. Please review.

Project coverage is 91.85%. Comparing base (ba4205c) to head (d79f369).

Files with missing lines	Patch %	Lines
crates/prover/src/constraint_framework/info.rs	89.88%	16 Missing and 2 partials ⚠️

Additional details and impacted files

@@                            Coverage Diff                             @@
##           09-11-Add_size_estimate_for_StarkProof     #832      +/-   ##
==========================================================================
- Coverage                                   91.92%   91.85%   -0.07%     
==========================================================================
  Files                                          89       89              
  Lines                                       12154    12296     +142     
  Branches                                    12154    12296     +142     
==========================================================================
+ Hits                                        11173    11295     +122     
- Misses                                        874      890      +16     
- Partials                                      107      111       +4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.