FCDODiffControl doesn't properly account for lists of differing size.

int IterOld = 0;
int IterNew = 0;
while (IterOld != OldProperties.Num() || IterNew != NewProperties.Num())
{
    ...
    else
    {
        if (IterOld != OldProperties.Num())
        {
            bool bFoundDifference = false;
            if (const FSingleObjectDiffEntry* OldDiffering = FindDiffering(DifferingProperties, OldProperties[IterOld]))
            {
                bFoundDifference = true;
                ...
            }
            else if (IterNew != NewProperties.Num())
            {
                if (const FSingleObjectDiffEntry* NewDiffering = FindDiffering(DifferingProperties, NewProperties[IterNew]))
                {
                    bFoundDifference = true;
                    ...
                }
            }
            
            // !!!! This will be hit if the first check fails (no diff from OlderProperties)
            // !!!! and IterNew == NewProperties.Num()
            // !!!! It causes IterNew to be incremented, meaning IterNew != NewProperties.Num() anymore;
            if (!bFoundDifference)
            {
                ++IterOld;
                ++IterNew;
            }
        }
        else
        {
            // !!!! This check is missed (because IterNew > NewProperties.Num())
            check(IterNew != NewProperties.Num());
            
            // !!!! Error is thrown for array index out of bounds.
            if (const FSingleObjectDiffEntry* Differing = FindDiffering(DifferingProperties, NewProperties[IterNew]))
            {
                OrderedProperties.Push(Differing);
            }
            ++IterNew;
        }
    }
}