Extend `redundant-expr` to type narrowing assertions

Feature

Assert statements can be used to guide the type checker but are not checked for redundancy like casts.

Pitch

Consider this simple example, with the --enable-error-code=redundant-expr flag:

def f(x: int) -> None:
    assert x is not None           # no issue
    assert x is not None and True  # error: Left operand of "and" is always true

I think it would be useful to have mypy emit a warning for the first line.

Non sono indicati file o test. Inizia individuando la gestione esistente delle espressioni ridondanti per i cast e il percorso di narrowing dei tipi di assert, quindi esamina i test pertinenti. Il lavoro è completato quando le assertions ridondanti come assert x is not None vengono segnalate con --enable-error-code=redundant-expr senza modificare il comportamento valido del narrowing.