Move block checking functions to modules/consensus as part of an effort
to pull complexity out of types.Block and make code that depends on
types.Block more testable.