Verify a draw proof

This tool recomputes the digest from the full audit payload. A matching digest shows that the saved payload has not changed; it does not prove when a host chose or disclosed the committed inputs.