Nullability static code analysis

Some level of this has been added already around the safe navigation and null coalescing operators already, but a more general form of the inspection would require significantly deeper analysis of all initializations and assignments. Definitely a great enhancement to have, though.

ORIGINAL DESCRIPTION

Would be brilliant to have code inspection to detect possible null pointers.