sdk/python: fix clippy useless conversion

src/sdk/python/src/zkas.rs

@@ -341,14 +341,14 @@ impl MockProver {
         Self(prover)
     }
 
-    fn verify(&self) -> PyResult<bool> {
+    fn verify(&self) -> bool {
         match self.0.verify() {
-            Ok(_) => Ok(true),
+            Ok(_) => true,
             Err(errs) => {
                 for err in errs {
                     eprintln!("Error: Verify Failure: {:#?}", err);
                 }
-                Ok(false)
+                false
             }
         }
     }