suchThat()

Probably a name easier to understand that implies().

* suchThat() takes a single anonymous function
* suchThat() takes independent constraints for each argument (but still evaluates the whole tuple of values)
* multiple suchThat() are possible
* if the ratio of `actually evaluated` to `generated` is under the configurable 0.5 threshold, the test fails
I have completely removed it from my mind, good that you helped me to refresh my memory! Antecedent fits perfectly with the language :+1: