Durably blocked

The key insight behind testing/synctest: which operations count as "blocked" and which prevent time from advancing.