A script for running the Tetazoo punt list in a cryptographically fair and verifiable way