Update CodeContracts. Added development dependency stuff.