Add sum_to_zero constraint, free, and check based on ILR transform #4353

Job	Run time
mix/fun tests 1	35m 50s
prim and rev tests	28m 57s
fwd tests and non-fun mix tests	35m 51s
mix/fun tests 2	22m 0s
	2h 2m 38s

Provide feedback