Port paranova.

[porcuquine]

This is a port of the much-appreciated ParaNova prototype from https://github.com/privacy-scaling-explorations/Nova/pull/11

You can learn more about Paranova from https://zkresear.ch/t/parallelizing-nova-visualizations-and-mental-models-behind-paranova/198 or https://zuzalu.streameth.org/session/169

The idea is to use the general shape and scaffolding to iterate on in arecibo. Since those plans are beyond the scope of this port, I won't elaborate here.

For this to be accepted, we should primarily feel confident that it doesn't interfere with or harm existing Nova/SuperNova work. Over time, either before or after merging this, we can work on refactoring so Nova is least affected and (to the extent it must be) intelligently modified to best support the work here while staying true to its nature.

Note that Nova and SuperNova tests still pass and circuit constraint count has not increased. This work intends not to affect the substance of existing circuits or proving mechanisms.

h/t @oskarth @chiro-hiro @aleph-v @nalinbhardwaj @CPerezz