Enable "strict" mode for static type checking

[roll]

Overview

In v5 we enabled static type checking using pyright; in the next major release we'd like to enable the "strict" mode for the whole codebase or most of it (currently, we enabled it for some files as a pilot). Also, we'd like to remove as much as possible "#type: ignore" lines.