Remove HN_TAIL

[federicobarbacovi]

After the introduction of the batch merge, there is no distinction between PROOF_TYPE_HN and PROOF_TYPE_HN_TAIL, we should therefore merge these two proof types.