Update MERGE_PROTOCOL.md

[federicobarbacovi]

The Merge protocol md file must be updated to reflect two updates:

• We now use a batch merge prover in the hiding kernel, so the Merge is APPEND only
• There are no shifts in the merge