tactics: basic: always revert
tactics: basic: always revert

There was an optimization to discard variables that are not free in the
goal. This is bad since it may be a vital logical hypothesis.

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