Adding instructions for doing an end-to-end verification of the voting system