Add rule to check for checking value in `match` or `switch` instruction

[jdecool]

Example:

/**
 * @extends Enum<int>
 */
class MyEnum extends Enum
{
    public const FOO = 1;
    public const BAR = 2;

    public function getLabel(): string {
        return match ($this->value) {
            self::FOO => 'foo-value',
            self::BAR => 'bar-value',
        };
    }
}

Will output errors because it phpstan consider that values from ]-ING;0] and [3;+INF] are not checked.