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]

• Make CommitmentSchemeProver::prove_values take ownership #852 : 2 dependent PRs (#856 , #897 )
• Add arithmetic op counts to InfoEvaluator #832 👈 (View in Graphite)
• Add size estimate for StarkProof #831
• dev

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

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 90.94828% with 21 lines in your changes missing coverage. Please review.

Project coverage is 91.93%. Comparing base (56a6a61) to head (840ed3e).

Files with missing lines	Patch %	Lines
crates/prover/src/constraint_framework/info.rs	94.78%	9 Missing and 2 partials ⚠️
crates/prover/src/core/backend/simd/qm31.rs	0.00%	6 Missing ⚠️
crates/prover/src/constraint_framework/expr.rs	0.00%	3 Missing ⚠️
crates/prover/src/core/lookups/utils.rs	66.66%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev     #832      +/-   ##
==========================================
- Coverage   91.94%   91.93%   -0.02%     
==========================================
  Files          93       93              
  Lines       13092    13312     +220     
  Branches    13092    13312     +220     
==========================================
+ Hits        12038    12238     +200     
- Misses        939      957      +18     
- Partials      115      117       +2     

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

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests

[Alon-Ti]

Reviewed 2 of 15 files at r1, 14 of 14 files at r3, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @andrewmilson and @shaharsamocha7)

---

crates/prover/src/examples/poseidon/mod.rs line 30 at r3 (raw file):

use crate::core::ColumnVec;

const N_LOG_INSTANCES_PER_ROW: usize = 0;

It still works with 3 though, right?

[andrewmilson]

Reviewable status: 3 of 19 files reviewed, 1 unresolved discussion (waiting on @Alon-Ti and @shaharsamocha7)

---

crates/prover/src/examples/poseidon/mod.rs line 30 at r3 (raw file):

Previously, Alon-Ti wrote…

It still works with 3 though, right?

It does. Reverted back

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 2.

Benchmark suite	Current: e5fe5d9	Previous: f6214d1	Ratio
merkle throughput/simd merkle	29850012 ns/iter (± 871197)	14690867 ns/iter (± 434150)	2.03

This comment was automatically generated by workflow using github-action-benchmark.

CC: @shaharsamocha7

[Alon-Ti]

Reviewed 14 of 16 files at r4, 2 of 2 files at r5, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @shaharsamocha7)