Constant miri::eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN

const MAIN_THREAD_YIELDS_AT_SHUTDOWN: u32 = 256;

When the main thread would exit, we will yield to any other thread that is ready to execute. But we must only do that a finite number of times, or a background thread running loop {} will hang the program.