Add FsCheck to users