OrdSet: fix failing assertion
OrdSet: fix failing assertion

simply a matter of having lemma_as_set_mem in-scope and patterned for
_disjoint

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