Add `size` method to `Circuit` trait

[moCello]

Summary

Add a method to the Circuit trait that returns the circuit size (measured as the number of constraints of the circuit).
Remove the need of passing the public parameter to compress the circuit.

Even though these changes seem unrelated, they actually both result from removing the pre-allocation of vectors for the builder.