refactor(mypy): add stricter rules to specific modules [part I/VI]

[glevco]

Depends on #967

Motivation

We currently use a subset of static typing rules with mypy, for historic reasons. The aim should be to enable strict=True in the whole repo, or at least most of it. One way to do this incrementally is to configure a mypy override with stricter rules and set it for some specific modules.

This PR does this for some newer or important modules. We cannot use strict=True directly, because this rule is not available on per-module configs. Therefore, we get all strict rules from the mypy documentation and manually configure them.

Acceptance Criteria

• Update mypy and mypy-zope.
• Configure stricter mypy for some specific modules and update those modules to conform.
• Some other minor typing/style changes.

Checklist

• If you are requesting a merge into master, confirm this code is production-ready and can be included in future releases as soon as it gets merged

[codecov]

Codecov Report

Attention: Patch coverage is 94.11765% with 2 lines in your changes are missing coverage. Please review.

Project coverage is 85.15%. Comparing base (8ed3e4b) to head (0d3deb6).

Files	Patch %	Lines
hathor/event/websocket/protocol.py	75.00%	1 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #969      +/-   ##
==========================================
+ Coverage   85.12%   85.15%   +0.02%     
==========================================
  Files         294      294              
  Lines       22783    22789       +6     
  Branches     3430     3432       +2     
==========================================
+ Hits        19395    19405      +10     
+ Misses       2707     2703       -4     
  Partials      681      681              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[jansegre]

Looks good to me.

The base branch was changed.