Function resolve_proof_path 

pub fn resolve_proof_path(
    proof: &Option<PathBuf>,
    extension: &str,
) -> Result<PathBuf>