Takes 2 graphs and verifies if they are isomorphic