This change removes a convoluted use of sync/atomic from VerifyHeaders.
It also fixes the annoying error about future blocks.