Some small implementation details need to be changed to make sure everything is truly zero-knowledge.

1. Right now, the NLDocCommitment holds some information that only the committer and prover should know (i.e. blinds for the document, etc). Would be nice if this information was locked away behind a rust Option (i.e. prover_cmt_info: Option<NewStruct>), so that we could hand the verifier a version of the commitment file where this is None.

2. Right now, the first ``running claim" fed into nlookup is the evaluation of the MLE at 0. This is fine for the public table, but not for private document. Would be great if this information was only a private witness and not part of z_0.