Searching for pseudo-anosovs in the non-orientable case is complete.
Once a candidate is found, it is verified that it is indeed an
pseudo-anosov. This verification can be fast, but not exact using
floating point calculation, and exact but slow using calculation with
algebraic numbers.