Make `ignore_pos_arg_names=False` for overrides when using `--extra-checks`

Feature

We can check positional argument names for overriding functions.

class A:
    def f(self, x: int) -> None:
        pass
    
class B(A):
    def f(self, _x: int) -> None:  # this *should* error, but doesn't currently
        pass

Pitch

Well, ignoring positional arguments is obviously not type safe. It's annoying, sure, but in my mind that's the class of checks that --extra-checks encompasses (technically correct but annoying).

Beginne damit, die Prüfung von Überschreibungen und die Behandlung positionaler Argumentnamen nachzuverfolgen, wenn --extra-checks aktiviert ist. Bestätige das bestehende Verhalten anhand des A- und B-Beispiels und füge dann Tests hinzu, die zeigen, dass unterschiedliche positionale Namen unter --extra-checks gemeldet werden und dass die Prüfung ansonsten ignoriert bleibt.