Update to .NET 4.5 and FsCheck 1.0.0