verifyAgainstRoot

Recomputes the root from the currently-set block layer and reports whether it matches the expectedRoot. Requires all numBlocks real leaves to be present.

This is the headline "does my data match the torrent?" check.