Revert "enable profiling"

This reverts commit 20cc639.

Author: morganthomas

crates/lean_compiler/src/lib.rs

@@ -24,11 +24,11 @@ pub fn compile_program(program: &str) -> (Bytecode, BTreeMap<usize, String>) {
     let intermediate_bytecode = compile_to_intermediate_bytecode(simple_program).unwrap();
     // println!("Intermediate Bytecode:\n\n{}", intermediate_bytecode.to_string());
     let compiled = compile_to_low_level_bytecode(intermediate_bytecode).unwrap();
-    println!("Function Locations: \n");
-    for (loc, name) in function_locations.iter() {
-        println!("{name}: {loc}");
-    }
-    println!("\n\nCompiled Program:\n\n{compiled}");
+    // println!("Function Locations: \n");
+    // for (loc, name) in function_locations.iter() {
+    //     println!("{name}: {loc}");
+    // }
+    // println!("\n\nCompiled Program:\n\n{compiled}");
     (compiled, function_locations)
 }
 

crates/rec_aggregation/src/xmss_aggregate.rs

@@ -274,7 +274,7 @@ pub fn run_xmss_benchmark(n_public_keys: usize) -> XmssBenchStats {
         (&public_input, &private_input),
         whir_config_builder(),
         no_vec_runtime_memory,
-        true,
+        false,
     );
     let proving_time = time.elapsed();
     verify_execution(&bytecode, &public_input, proof_data, whir_config_builder()).unwrap();