tactics: at least, drop VCs when typechecking during pointwise/topdown_rewrite
tactics: at least, drop VCs when typechecking during pointwise/topdown_rewrite

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