Do all the graphs checks before pushing any statement

This makes the algorithm used a lot simpler to understand, and
will allow us to remove the Transaction Model thereby making
mergers faster.