Avoid some false positives in the CheckNullableReturn lint check

Do not report false positives for methods:
- Overriding supertype methods with the same signature
- Containing a single "throw" (a means of abstract method implementation)

Fixes #656