Add FsCheck task