Minor fixes + fix merkle proof verification + start of a demo script that verifies merkle root.

[clangenb]

I suggest that after merging this PR, we merge cI/simplyR into master and work with small features to continue developing there