Register the votes on conflicting proofs and return an list of the updates as consequence. The logic is the same than the block, as is demonstrated by the unit tests being compatible with the ProofOnlyTestingContext.

Ref T1854.

Depends on D10250, D10269 and D10270.