hadome 0.5.0

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