Add FsCheck test for Deque