Asserts the structural invariants of a <dist_spec>: its class, the shape of
its parameters, and its max/cdf_cutoff attributes. Called by every
constructor on the object it builds, so a <dist_spec> from the package is
always well-formed. A composite is valid when each of its components is.