Check for unreachable code with mypy.