verifyPieceLayer
Validates a candidate piece layer against the expectedRoot without mutating this tree. Mirrors the check inside load_piece_layer: pad the piece layer to a power of two with Merkle.pad, fold to a root, and compare.
Return
true if pieces produce the expected root.