Added a Report object, used to print the details of an error in a verification. Added a method to compute the results of an election.