feat: support wtns generation #155

Job	Run time
misc-test	1m 48s
main-test (0)	5m 51s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...	1m 37s
wtns-test	1m 11s
main-test (1)	6m 16s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...	1m 16s
main-test (2)	6m 32s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...	1m 15s
main-test (3)	7m 21s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...	1m 30s
Publish Docker image to DockerHub	0s
	34m 37s

Provide feedback