Only (incremental) check the schema store if it has changed

Checking of the schema store during incremental checking is done through running a full check of the schema store.
Doing this for every transaction is a large overhead, and unnecessary if the transaction contained no changes to the schema store.

+ some code reformatting.