Returns False if graphs are definitely not isomorphic. True does NOT guarantee isomorphism.
The two graphs G1 and G2 must be the same type.
Notes
Checks for matching degree, triangle, and number of cliques sequences.