tc: rel: fix SMT shortcut, there must be no unresolved universe uvars either
tc: rel: fix SMT shortcut, there must be no unresolved universe uvars either

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