AIs can now do easy-to-verify SWE tasks, I've shortened timelines