Fast-to-verify versus slow-to-verify

Verifiable vs non-verifiable is the wrong distinction for understanding model jaggedness. Fast-to-verify versus slow-to-verify is the right one.

— Ross Taylor (@rosstaylor90)