Update FsCheck