Add fixture generation for lookup, history, and audit proofs

[kevinlewi]

We should add fixture generation for creating the lookup, history, and audit proofs so that if their format or logic changes, we can easily detect so. This also essentially allows us to add test vectors which can be checked against other implementations.