On the Independent Verification of a Punchscan Election