Falsify: Hypothesis-Inspired Shrinking for Haskell