TMultiArray::CheckInvariants

Checks array invariants: if array size is greater than zero and less than maximum.