Is it so that the regular developers focus on writing their Contracts locally and then submit them to be analysed globally?
Or is there a way to get something comparable to this experience? Maybe as a separate download?
Also if a library have Contracts, then would the intellisense tooltips would include the Contracts no matter what version of VS is used?
I believe it was forked off into a seperate project (on Devlabs) instead of a built-in / pre-packaged feature of Visual Studio.
Why did they make this change? That's a question for the developers I think. I guess they wanted to expose the concept separately, maybe allowing it to be used not just within studio.
Also, from my understanding of the package you'll download; you wont see any change in behavior with IntelliSense, It should integrate fully with visual studio's feature-set.