Optional strict checking of isinstance checks #4332

The current semantics of isinstance checks make some assumptions about inheritance, such as there being no multiple inheritance from certain classes. This is probably reasonable as a default, since it makes easier to annotate legacy codebases. However, we could provide an option to have safer and stricter checking of isinstance checks. The exact behavior of this mode is still not quite clear.

See discussion in #3605 for further context.