Refactor model violation reporters

[stayallive]

This refactors the way model violation reports to cleanup the code and remove duplication where possible.

Also adds memoization (enabled by default) to prevent multiple reports in the same request.

Depends on #824.