Add FsCheck test for Deque
Update FsCheck
Merge pull request #242 from kurtschelfthout/master

Show example of model-based FsCheck test, to replace tedious Deque tests