Add arithmetic circuit evaluation (ACE) chiplet

[Al-Kindi-0]

A key component of our goal of an optimized recursive verifier is adding a chiplet which will help in the task of constraint evaluation. Preliminary calculations indicate that constraint evaluation can account for up to 40% of the work done by the recursive verifier, and hence optimizing this step is crucial for our end-goal.