Print finalized size and log dyadic size

barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp

@@ -56,6 +56,8 @@ template <IsHonkFlavor Flavor> class DeciderProvingKey_ {
 
         circuit.finalize_circuit(/* ensure_nonzero = */ true);
 
+        info("Finalized circuit size: ", circuit.num_gates);
+
         // If using a structured trace, set fixed block sizes, check their validity, and set the dyadic circuit size
         if (is_structured) {
             circuit.blocks.set_fixed_block_sizes(trace_structure); // set the fixed sizes for each block
@@ -65,6 +67,8 @@ template <IsHonkFlavor Flavor> class DeciderProvingKey_ {
             dyadic_circuit_size = compute_dyadic_size(circuit); // set dyadic size directly from circuit block sizes
         }
 
+        info("Log dyadic circuit size: ", numeric::get_msb(dyadic_circuit_size));
+
         // Complete the public inputs execution trace block from circuit.public_inputs
         Trace::populate_public_inputs_block(circuit);
         circuit.blocks.compute_offsets(is_structured);