Questioning the value of the Verifier interface.
Replace ConstraintProvider interface with a text file listing constraint-providing annotations.
Add @ProvidesConstraintsFor to the README.