Web3 tooling has broken type-checking

[njgheorghita]

What was wrong?

The Discovery5Module in the web3 tooling is not being type-checked correctly. The mypy check passes successfully when the attached Methods are missing a type and when the declared type is incorrect.

Code that produced the error

https://github.com/ethereum/ddht/blob/master/ddht/tools/web3.py#L286-L355

Expected Result

Mypy runs should fail when attached methods are missing a type and if the declared type is incorrect.

How can it be fixed?

From #224 (comment)

My guess is that web3.py might be leaking Any which is typically where this type of deficiency shows up.