Split ConstraintSystem
into a builder type and a verifying key type
#781
+335
−280
ConstraintSystem
into a builder type and a verifying key type
#781