hadome 0.4.3

Reports the violations a change adds and the tests it weakens.