Add pytype type checking and annotations

[cweill]

https://github.com/google/pytype is a static analysis tool for detecting many issues at "compile" time. Several other TensorFlow projects use pytype, and we have seen some benefits on our other projects. So we should begin adding these type checks to the adanet codebase.