[analyzer] Ivar invalidation: track ivars declared in categories.
[analyzer]Recognize ivar invalidation protocol even if it was redeclared

This will get rid of some false positives as well as false negatives.
[analyzer] Rename the warning: state the issue before the hint of how it
can be fixed