Tree: Merkle opening should constrain leaf

[Victor Lopes]

Currently the merkle opening is not constraining the leaf.

This forces the consumer to reproduce the same logic of the merkle bits checker that is internal to poseidon.

The merkle_opening gadget should take the leaf as witness and constrain it to the first level of the opening branch.