ADAL/Proto: fixes ADAL proofs regarding the handling of publishers whitelist

This MR, stacked on top of iguerNL@handle-adal-params-in-refutation-proofs-2/16151, fixes an issue in the handling of the publishers whitelist, possibly set by the kernel. In the previous implementation, either a honest player could not defend his/her commitment or a malicious player could cheat (depending on how we handle the info given in the proof).

With this MR, we extend the proof to provide the full (expected) whitelist of the kernel to correctly validate honest player's proofs and discard those of malicious players.