Bunch of Microsoft.Bcl updates.
Lots more code contracts.
missed
More Contracts.