threading fixes: NonTermination detection works again, continuing a thread after returning reschedule works again