restructuing the verify function

[kushalbabel]

@jaa2 I was thinking we could refactor the wouldverify function to call another function verifyOneRound on each block, better for readability of the code. the verifyOneRound will verify PoW and zk on each blocks[i]