modify DefaultConstraintChecker sort Violations
modify readme; add usage