Add some additional checks to the Merkle tree functions

[Brechtpd]

Can't hurt to add some extra safety check in the Merkle tree implementation, even if they are very unlikely:

• insert doesn't seem to check if the tree is already full or not.
• update doesn't seem to check if the leaf was already inserted.