audit data *IS* written in a reasonable manner
a simpler patch to verify_single_proof means that we don't have to store the SCT in a file