TArray::CheckInvariants

Checks array invariants: if array size is greater than or equal to zero and less than or equal to the maximum.