Support DSL for generating PropF.Result values

[mpilquist]

ScalaCheck provides a small DSL for writing properties, consisting of syntax like:

• implication (p1 ==> p2)
• combining properties (&&, ||, ==, all, atLeastOne)
• labeling (p :| "label")

Which of these should we support? All, none, some?

[rossabaker]

I just wanted ==> and :| whilst trying to eliminate some unsafeRunSync().

[kiendang]

I would like to use these with scalacheck-effect as well @rossabaker would you mind if I make a PR here porting over Banno/vault4s#225?