hadome 0.4.0

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