More analysis stuff

Planning on refactoring the violationVector stuff to work on a
violation by violation basis, and produce the kind of matrix
needed for clustering. Will hopefully be faster as well.