`provekit/verifier/src/whir_r1cs`: Fix implementation

[recmo]

On 2025-08-29 in 2a57572 “Merge pull request #153 from worldfnd/px/refactor”:

Fix implementation

    fn verify(&self, proof: &WhirR1CSProof) -> Result<()>;
}

impl WhirR1CSVerifier for WhirR1CSScheme {
    #[instrument(skip_all)]
    #[allow(unused)] // TODO: Fix implementation
    fn verify(&self, proof: &WhirR1CSProof) -> Result<()> {
        // Set up transcript
        let io = self.create_io_pattern();
        let mut arthur = io.to_verifier_state(&proof.transcript);

From provekit/verifier/src/whir_r1cs.rs:37