How Do Analysts Understand and Verify AI-Assisted Data Analyses? | Synapse