Function verify_logical 

pub fn verify_logical(
    graph: &BlockGraph,
    expected: &QuizxGraph,
    samples: usize,
    seed: u64,
) -> Result<LogicalVerificationReport, VerifyLogicalError>

Builds and fuzzes a verifier in one call.

Errors

Returns verifier-construction or sampled logical-verification errors.