NullValueAnalysis: Implemented JetBrains.Annotations assertion attributes

[AssertionMethod] and [AssertionCondition].

This should help us reduce analysis failures *a lot*.