Add FsCheck to list of *Check libs