Support protocol checks for self-types in tuple types (#21535)

Fixes https://github.com/python/mypy/issues/21528

This fixes a regression caused by a typeshed PR exposing this missing
feature. The implementation is somewhat non-trivial, but I don't see a
simpler way to do it in a robust manner.