Function account_update_proof 

fn account_update_proof(
    p: &AccountUpdate,
) -> Option<&PicklesProofProofsVerifiedMaxStableV2>