Integrate performance regression framework the zkprogram diverse example

Author: Shigoto-dev19

tests/vk-regression/diverse-zk-program-run.ts

@@ -14,10 +14,16 @@ perfDiverse.start('prove', 'sha3');
 let { proof: proof1 } = await diverse.sha3(Bytes128.fromString('hello'));
 perfDiverse.end();
 
-assert(await verify(proof1, verificationKey), 'proof1 verification failed!');
+perfDiverse.start('verify', 'sha3');
+const isValid1 = await verify(proof1, verificationKey);
+perfDiverse.end();
+assert(isValid1, 'proof1 verification failed!');
 
 perfDiverse.start('prove', 'recursive');
 let { proof: proof2 } = await diverse.recursive(proof1);
 perfDiverse.end();
 
-assert(await verify(proof2, verificationKey), 'proof2 verification failed!');
+perfDiverse.start('verify', 'recursive');
+const isValid2 = await verify(proof2, verificationKey);
+perfDiverse.end();
+assert(isValid2, 'proof2 verification failed!');