Check post edit invariants after every edit.