Cleanup of verify code including nicer reporting (only report on relevant types).