Better errors for missing imports (#13636)
Fixes #13633
- Incompatible stubs aren't really a thing (that is visible to mypy at
module find time) now that Python 2 support is dead.
- Adjust some documentation wording to clarify use of
`--python-executable`
