Remove check_type_completeness and verify_types_*.json, minor fixes

[jakkdl]

• Remove src/trio/_tests/check_type_completeness.py and it's tracking files src/trio/_tests/verify_types_*.json as they're no longer needed for tracking incremental progress.
  • Was about to say this closes Remaining tasks until --verifytypes passes and check_type_completeness.py can be removed #2734, might sneak in another commit that removes autogeneration of py.typed as well.
• Add calls to pyright --verifytypes directly into check.sh.
• Fix Move to src-layout. #2798 not updating the directory of trio/_tests/type_tests in pyright call in check.sh. Turns out pyright returns with exit code 0 on missing files pyright gives exit code 0 on invalid file microsoft/pyright#6443
• Looked a bit if we could get rid of --ignoreexternal and fixed some small things that popped up from it, but encountered verifytypes reports re-exported stdlib functions as missing docstrings microsoft/pyright#6442 as well as some other issues that made me drop it.
  • the big list of re-exported non-existing-depending-on-platform constants in src/trio/socket.py
    • I didn't manage to find a way of ignoring, "easiest" would be to make the re-exporting smarter and depend on platform & version.
  • bunch of errors with SSL/cryptography. Don't know if that's an issue in pyright, typeshed, or something else.

Copied some formatting from mypy to get something into the github CI error summary, but this shouldn't fail as often so don't think it needs to be as fully decked out.

[codecov]

Codecov Report

Merging #2877 (a1cd7b4) into master (d5c0fb8) will increase coverage by 0.02%.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2877      +/-   ##
==========================================
+ Coverage   99.51%   99.54%   +0.02%     
==========================================
  Files         115      115              
  Lines       17683    17672      -11     
  Branches     3172     3167       -5     
==========================================
- Hits        17598    17592       -6     
+ Misses         56       52       -4     
+ Partials       29       28       -1     

Files	Coverage Δ
src/trio/_core/_asyncgens.py	100.00% <100.00%> (ø)
src/trio/_core/_wakeup_socketpair.py	100.00% <100.00%> (ø)
src/trio/_tests/test_exports.py	98.85% <ø> (+1.76%)	⬆️

[A5rocks]

Looks good to me. Would love for pyright to change their behavior!

[jakkdl]

Looks good to me. Would love for pyright to change their behavior!

I guess we could go with their suggestion of --outputjson and parsing out known errors. But that's for a separate PR