Make variables holding results of compatibility checks buffer-local
Make variables holding results of compatibility checks buffer-local

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