Function verify_app_proof 

pub fn verify_app_proof<E: StarkEngine<SC = SC>>(
    app_vk: &AppVerifyingKey,
    proof: &ContinuationVmProof<E::SC>,
) -> Result<Digest, SdkError>

Verifies a ContinuationVmProof and returns the app_exe_commit