Function handle_verify_graph 

pub fn handle_verify_graph(
    input: &PathBuf,
    dataset: &PathBuf,
    memory_mib: u64,
    temp_gib: u64,
) -> Result<(), Box<dyn Error>>

Run the exact, bounded-memory encoded graph proof.