added a delay on the looping threads looking for smt jobs. The delay is a fixed 10ms now as this is a temporary fix
added a delay on the looping threads looking for smt jobs. The delay is a fixed 10ms now as this is a temporary fix

A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar