FsCheck didn't get upgraded