const BLOCK_VERIFY_TIMEOUT: Duration;
This timeout makes sure that the syncer and verifiers do not deadlock. When the LOOKAHEAD_LIMIT is reached, the syncer waits for blocks to verify (or fail). If the verifiers are also waiting for more blocks from the syncer, then without a timeout, Zebra would deadlock.