Added function to test bosshardness of a rational USO.
Revert find_sink memoization, as it takes up too much memory when sampling.
tournament now spits out more statistics than before.
Implemented Hopcroft fingerprint.
Update list_all_usos to use hopcroft fingerprint, for a rather large speedup.