Graphs are compared as one block when the graph product is too big.
Merge branch 'master' of https://github.com/YaronK/REDB