“Creating perfect verifiers for synthetic data generation is very difficult for open-ended, miscellaneous, or long-horizon tasks, even within the coding domain.”