PreCheck checks if the block header bh is a valid successor to the previous block's header, prev.
(prev BlockHeader)
source not stored for this graph (policy: none)