Factor out the common bits of Merkle tree validity check

> the part up to here (especially the Merkle tree validity check) is now basically the same across all shredders, could be factored out, can be done in a new PR 

 _Originally posted by @qkniep in [#234](https://github.com/qkniep/alpenglow/pull/234/files#r2388855554)_