supporting larger circuits once a URS is fixed

[mimoo]

One thing we could explore if the URS is shared (so already fixed), but someone wants a larger domain for a larger circuit, is to support chunking ALL polynomials.

For example if we choose a domain twice the size of the URS, then we'd have to chunk every polynomials in two.

This creates some potential issues when we don't simply evaluate a polynomial. But if we evaluate all polynomials as discussed in #770 then it should be somewhat easy to support this?

Also, what does it mean for a recursive circuit to potentially support larger circuits? It does not seem like a trivial problem.