Check unreachable code

This is an overall tracking issue for checking unreachable code. https://github.com/python/mypy/pull/18707 has information on specific issues fixed by this. However it's just generally not very intuitive, I think.