the bottleneck isn't generation, it's verification