Might involve changing `void yield(bool *killed)` to `MUST_CHECK bool yield()`. To ensure that callers do the being-killed dance. Part of completing #1868.