Divo: Learning a Stable and Effective Query Optimizer with a Diverse Workload | Synapse