feat: support wtns generation #165

Job	Run time
wtns-test	1m 8s
misc-test	1m 39s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...	1m 12s
main-test (0)	6m 9s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...	1m 26s
main-test (1)	6m 16s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...	1m 18s
main-test (2)	6m 41s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...	1m 25s
main-test (3)	7m 55s
Publish Docker image to DockerHub	1m 3s
	36m 12s

Provide feedback