Escaping Model Collapse via Synthetic Data Verification: Near-term Improvements and Long-term Convergence