implement complete full hash-extending algorithm for CompactMerkleTree
remove temporary flag
more documentation and review comments
bit twiddling
remove obsolete comment now that we are using tuples for hashes