NullValueAnalysis: Implemented JetBrains.Annotations assertion attributes.
Merge pull request #333 from mono-soc-2013/luiscubal-annotations

NullValueAnalysis: Implemented JetBrains.Annotations assertion attributes