renamed graph_helpers to fst_helpers, refactored and simplified some related scripts.
Added batches to pool, for less memory usage and immediate processing.
leave usos as iterator to start processing immediately.
refactored randomfacet_analytic a bit.
Add new version of randomfacet_analytic, plus some small optimizations.
never memoize things deep in the library!
Added extra test to hopcroft fingerprint which is needed to avoid false negatives.
Improve new analytic runtime calculation by deduplicating subcubes with same automatons running on them through use of a fingerprint of quadratic length.
Forgot to add crucial file to last commit.
Modified script to use new analytic algo.
Remove old exponential length fingerprinting algo.
Rearranged location of files in usolib.