I'll describe and advocate a research agenda for designing experiments that are

(1) feasible on NISQ devices,

(2) hard to simulate classically, and

(3) easy to verify classically,

where right now we only have any two out of the three. This agenda involves understanding the structure of otherwise-random quantum circuits that have been postselected to have the behavior that we want (such as producing verifiable outputs).