Switch from mypy to pyright

[supersergiy]

mypy is buggy with ParamSpecs which forces us to insert type-ignore pragmas in certain scenarios.
pyright is faster, less buggy, and gives more helpful error messages. However it doesn't support custom plugings, so some of the mazepa decorators would have to be retyped. pyright design doesn't allow us to add custom decorators on top of attrs(init=True), so all of the flow schema classes and taskable operation classes would have to have custom __init__'s. pyright doesn't support bounding a TypeVar by a Union, so some @overload's would have to be added, specifically in the tensor_ops module. Lastly, some type stub modifications would need to be done for torch and pytorch_lightning, and possibly numpy.

mypy bug trackers:

• Concatenate false positive (no problem with pyright) python/mypy#14168
• Concatenate false negative (caught by pyright, but not mypy) python/mypy#14169