`compareToGiven(Facts...).penalizesMore(String?)` in constraint verifier

[triceo]

ConstraintVerifier should support compareToGiven(Facts...).penalizesMore(String?)

Example usage:

constraintVerifier.verifyThat(MyConstraintProvider::fairnessConstraint)
    .given(Shift(Amy), Shift(Amy), Shift(Beth), Shift(Beth))
    .compareToGiven(Shift(Amy), Shift(Beth), Shift(Beth), Shift(Beth))
    .penalizesLess();

Originally posted by @Christopher-Chianelli in #918 (comment)