CI Move unwanted typing checks to pre-commit
There's still some grep-based checks left, but running doctests / running mypy can stay in code_checks
lgtm. once more merge master and ping on greenish sure, ping