SMTEncoding: make sure captions don't span lines
SMTEncoding: make sure captions don't span lines

Ouch, this was outputting garbage at some points.

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