Updated CodeContracts binaries to new v1.7.11106.10.