Add verify-ballot command

The verify-ballot command performs all the checks on a single ballot. This includes verifying the ZKPs, checking the credentials and searching for a duplicate. Some adjustments were also made to compute-voters and to the internal function cast.