Added exhaustive test for iso2.solve

We test that all possible permutations of a graph of size up
to 5 lead to the same canonical form in which case the form
is truly canonical
Added benchmark for iso2.solve
Added first ideas for solving labeled graph canonization

The code is commented out as it does not do anything useful yet