Proper handling of dummy rounds in stdlib universe

[maramihali]

Currently, we create a completely disconnected stdlib::bool_t witness dummy round from the native one which is insecure. We need to connect it to the circuit_size received from transcript (which is a witness), but this will need a bit of refactoring as we currently call get_value() on the circuit size the moment we receive it to help us set sizes to data structures.

[iakovenkos]

what's the difference between this and the case of Zm?

[maramihali]

the same problem exists in ZM and everywhere we put the dummy rounds