proof.pb library Null safety

Classes

DominoOp
Proof
ProofOp
ProofOps
ValueOp