update an expected outcome now that two_phase_tc is the default
update an expected outcome now that two_phase_tc is the default

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