Function snapp_proof_data 

fn snapp_proof_data<'a>(
    witness: &'a ZkappCommandSegmentWitness<'_>,
) -> Option<(&'a PicklesProofProofsVerifiedMaxStableV2, VerificationKey)>