Audit and assertions for change interval debugging