Add optional configurable circuit generator for testing

[tsunrise]

in r1cs crate: I believe it is better to add a circuit generator with configurable number of instance variables, number of witness variables, sparsity, and random source. So, when user is testing their own proof protocols, they do not need to write code to generate circuit again. This circuit generator can be an optional feature.

Should I write a PR to add this feature?