Function encode_cnf_gpu 

pub fn encode_cnf_gpu(
    pir: &GpuPirGraph,
    roots: &GpuPirRoots,
    provider: &Arc<CudaKernelProvider>,
) -> Result<GpuCnfEncoding>

Encode a GPU PIR graph into GPU-resident Tseitin CNF.