Tracking issue: Finalize STARK recursive verifier

[Al-Kindi-0]

Given the discussion in #1600, it seems that we are going to substitute rcom_* instructions with horner_eval_*. The work in this direction will go in parallel with the one in #1610, so that when both tasks are finished we would have a fully complete and optimized recursive verifier.

Must have

Preview Give feedback

1. Transition to horner_eval_* from rcomb_* #1633
   recursive verifier +1
2. Add arithmetic circuit evaluation (ACE) chiplet #1636
   recursive verifier +1
3. Use algebraic/curve batching for constraints #1654
   +0
   
4. Implement constraint evaluation check #1686
   recursive verifier +1

Nice to have

Preview Give feedback

1. Improve the current Miden assembly implementation of RpoRandomCoin #920
   recursive verifier +1