Update violations to be more useful

Figure out a way to get better error messages from the violations.