assert thread_mlfqs since tets dont set it properly