Assert in `IntDomTuple` that the resulting value has at least one active domain

[jerhard]

When looking at #468, we found that there was a case when operations on the IntDomTuple yielded values with no active domain, which resulted in precision loss somewhere else, which was not easy to track down.

Thus, the operations in IntDomTuple should check their return values for this property.