Testing, Certification, Decertification, and Recertification of Voting System Hardware and Software