Circuit decomposition for all ranges

[Wout4]

This makes our Circuit decomposition total for all ranges (old decomposition is invalid if the variables take ranges outside of the element bounds).
This makes circuit about 20% slower (from limited testing)

Alternative is to disallow making circuits with variables outside the expected range.

[Wout4]

Did some more timings, and in the positive case it indeed becomes slower, but we might introduce separate positive decompositions to deal with that anyway in the future.

For the negative case it only is slower when you make the variable bounds bigger, so I would argue there is no downside to allowing this since the other options would be to enforce the tight bounds..

[Wout4]

blocked since we will first make element a total function