testing with FsCheck