Fixing up verification with an InstanceReconcile