Punchscan in Practice: An E2E Election Case Study