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