fake_ide: ported to spawn
STM: be conservative w.r.t. proofs containing global side effects
STM: when a worker is canceled mark the proof as broken
STM: fix valid_id coming from Qed errors
Timeout and Set Default Timeout fixed (closes: #3229)