NullValueAnalysis: Implemented JetBrains.Annotations NotNull and MayBeNull attributes

See the unit tests for some examples.
Note: This currently has no effect on the initial value of parameters (it still uses `IsParametersAreUninitialized`) nor ref/out parameters (which are still made Unknown).