Mypy support of runtime tests

[abelcheung]

With mypy supporting JSON output has materialized, it is possible to investigate whether mypy can be incorporated into runtime tests (that is, compare mypy output with typeguard result).