CodeContracts binaries has been updated to v1.7.11202.10 (released on 12/3/2014).
Updated NuGet version to match CodeContracts version; beta mark has been removed.