Make is_recursive and has_recursive_types() more consistent

[ilevkivskyi]

While working on another PR I noticed that current behavior of has_recursive_types() is inconsistent, it returns False is there is a recursive type nested as an argument to a generic non-recursive alias. I wasn't able to find any situation where this actually matters, but I think it is better if this function behaves consistently.

cc @JukkaL @hauntsaninja

[ilevkivskyi]

Actually it looks like is_recursive property is also inconsistent, it can return True for an alias that is not recursive itself, but has a recursive argument, and then this value is cached. I think it is actually best to resolve to inconsistencies together, since they kind of compensate each other. I will also add a unit test.

[github-actions]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

[ilevkivskyi]

If there are no objections, I am going to merge this later today.