investigate integrating with Circ/circify

[mimoo]

we should investigate integrating with https://github.com/circify/circ/ at a higher-level, and at a lower-level to just optimize some R1CS output

[katat]

Circ got two levels of optimization, via IR or via R1CS backend.

For R1CS backend, we might just need to pass the r1cs output to it for optimization.

For higher level, or IR, it might mean we need to add noname as a new frontend to Circ, such that the compiled IR from noname code can be optimized.