Replace batched constraint check sumcheck

[z-tech]

What does this do?

• Just batches the constraint checks and then calls an API from efficient sumcheck so we can delete code
• This also contains an optimization -> reducing the batched constraint poly is the same as reducing all the constraint polys and then batching (linear)
• Can do similar for TwinConstraint in a bit

[z-tech]

I think this is good to go, lmk

[dmpierre]

nice, lgtm!