added extra checks to ensure an IllegalArgumentException is thrown as soon as integer capacity is exceeded (i.e. |universe|^arity >= 2^31)
added extra checks to ensure an IllegalArgumentException is thrown as soon as integer capacity is exceeded (i.e. |universe|^arity >= 2^31)

drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod