This is a great intro to QuickCheck (by the original creator).
https://www.youtube.com/watch?v=AfaNEebCDos

We don't have all the same features (such as test case simplification), but I think it would still be nice to include in the guide.
Maybe at some point we'll make our own usage video for PS.