Introduce a ViolationFormatter
fix CS
Remove unused code in tests
Merge pull request #734 from pyrech/violation_formatter

Introduce a ViolationFormatter