The function Blockchain.verify_header was previously not covered by tests at all. Even removing all the tests in it would still make the unit tests pass. This change adds tests for this important (!) function.