CLN: Change assert_(a [not] in b) to specialized forms

Work on #6175. Changes instances of assert_(a [not] in b) to specialized assert[Not]In(a, b).