Подключить ty в lint и CI, исправить найденные диагностики #4

В проекте нет статической проверки типов: ни в make lint, ни в CI, ни в хуках.
Разовый прогон ty check (без сгенерированного) нашёл 10 диагностик:

• app/routers/users.py: count_users объявлен -> int, а session.scalar отдаёт int | None
• app/routers/courses.py, app/routers/lessons.py: в Paging.meta уходит int | None
• app/routers/tokens.py: user.id имеет тип int | None, а create_token ждёт int
• app/routers/v2/users.py: validate_create принимает v1-модель, ему передают v2
• app/routers/users.py: select(*columns) не проходит типизацию
• app/main.py: типы add_exception_handler и register_operations
• app/main.py: устаревшая перегрузка asynccontextmanager (нужен AsyncGenerator)

Два первых случая могут дать реальный None в рантайме.

Сделать: добавить ty в dev-группу с пином, в make lint, CI и hk.pkl;
исправить без ignore; исключить app/types/handlers. Тесты тоже дают ошибки
(col() вокруг колонок в where/order_by).