Make sure that crashes don't make --wait-for-features-list infloop
Make sure that crashes don't make --wait-for-features-list infloop

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el