Checking the types of @return, type hints and inferred in return

[i582]

At the moment, NoVerify does not have any checks that would say that the described type is T, but the returned type is V and similar ones.

This issue was created to track the implementation of such checks.

The following checks should be added:

• Matching @return and type hint
• Checking the correspondence of the types @return and type hint with the types that will be inferred for each return inside the function
• Check that the type T is passed to the function, and not the type V
• Check that there is no return; for a function with a non-void return type

Most likely #1037 issue should have been closed earlier.

The following issue has already described some of the problems that will be covered by the checks above:
#516
#561
#563
#849