Add sum_to_zero constraint, free, and check #4349

Job	Run time
prim and rev tests	2h 53m 34s
fwd tests and non-fun mix tests	1h 0m 40s
mix/fun tests 1	2h 16m 5s
mix/fun tests 2	1h 35m 6s
	7h 45m 25s

Provide feedback