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 and triangle sequences.