Update and rename $MergeCountProof.txt to $Proofs.txt

Added proof for Naïve D&C.