WHIRZK doesn't return the FinalClaim

[batmendbar]

whir/src/protocols/whir_zk/verifier.rs

Line 184 in 716b457

Ok(())

Is there a reason WHIRZK doesn't return FinalClaim? Our protocol needs to verify this FinalClaim.