Operations about voting.
A crucial aspect of AleoBFT is the voting or non-voting of certificate leaders (anchors). Here we define operations to tally the votes.
