Verifying State & Reconciliation in Collaborative Web Apps