working minimization for OneOfStrategy. Fix some bugs in tuple could_have_produced that resulted from testing this