`tooling/cli/src/cmd/circuit_stats`: ryancao): COMPUTE THE MEMORY CHECKER CONSTRAINTS

[recmo]

On 2025-08-29 in 2a57572 “Merge pull request #153 from worldfnd/px/refactor”:

ryancao): COMPUTE THE MEMORY CHECKER CONSTRAINTS

    println!("{total_num_range_check_constraints:?} constraints from range checks");
    println!("{total_num_range_check_witnesses:?} witnesses from range checks");
    total_num_r1cs_rows += total_num_range_check_constraints;
    total_num_witness_size += total_num_range_check_witnesses;

    // TODO(ryancao): COMPUTE THE MEMORY CHECKER CONSTRAINTS
    println!("TODO(ryancao): MISSING MEMORY CHECKER CONSTRAINTS");
    println!(
        "{:?} total R1CS constraints ({:?} num vars)",
        total_num_r1cs_rows,
        (total_num_r1cs_rows as f64).log2()

From tooling/cli/src/cmd/circuit_stats.rs:652