typechecker: don't discharge goals completely solved by a tactic
typechecker: don't discharge goals completely solved by a tactic

before this we were sending off "Gamma |- True" queries to the smt

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