Verifiers verified

The tech needed to verify an AI pause or slowdown treaty is coming along, but is shamefully under-resourced