test(chore): Add complex circuit 3200k constraints

mopro-core/examples/circom/complex-circuit/complex-circuit-3200k-3200k.circom

@@ -0,0 +1,23 @@
+pragma circom 2.1.6;
+
+template ComplexCircuit(NUM_VARIABLES, NUM_CONSTRAINTS) {
+    signal input a;
+    signal output c;
+
+    assert(NUM_VARIABLES <= NUM_CONSTRAINTS);
+
+    signal b[NUM_VARIABLES];
+
+    b[0] <== a*a;
+    var i;
+    for (i = 1; i < NUM_VARIABLES; i++) {
+        b[i] <== b[i-1]*b[i-1];
+    }
+    i = i-1;
+    for (var j = NUM_VARIABLES; j < NUM_CONSTRAINTS; j++) {
+        b[i] === b[i-1]*b[i-1];
+    }
+    c <== b[i];
+}
+
+component main = ComplexCircuit(3200000, 3200000);