[Cookie] fixes #150, FsCheck upgrade
[Cookie] ref #150, FsCheck upgrade fsproj-s