#419: Add maxPriority property to HTML and Text ReportWriters - filter out lower priority violations.