Added coding contract support
Updated nuget spec