Keep connections alive while verifier runs
Show status of pipe after reading from drat-trim; Add verifier README