fix counting array properties when some are Never

[orklah]

This should fix #6969

There are still weird behaviours in here, for example in https://psalm.dev/r/522d483a64, removing the standalone if(rand(0,1)) condition mask the issue, so I guess Psalm perform some simplifications in arrays shapes when closing a condition or something like that.

However, this change is not dirty nor harmful and will improve the situation, so it should not be an issue

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/522d483a64

<?php

/** @var non-empty-array $report_data */
$report_data = [];
if ( array_key_exists( 'A', $report_data ) ) {
} elseif ( !empty( $report_data[0]['type'] ) && rand(0,1) ) {
    if ( rand(0,1) ) {}

    if ( count( $report_data ) === 1 ) {
    }
}

Psalm output (using commit 9943efb):

ERROR: TypeDoesNotContainType - 9:10 - int<2, max> cannot be identical to 1