Only skip proofs when test_consensus_heights is enabled

Author: vicsn

Cargo.toml

@@ -175,7 +175,7 @@ dev_skip_checks = [
 save_r1cs_hashes = [ "snarkvm-circuit/save_r1cs_hashes" ]
 test_exports = [ "snarkvm-algorithms/test_exports" ]
 test_targets = [ "snarkvm-console/test_targets" ]
-test_consensus_heights = [ "snarkvm-console/test_consensus_heights" ]
+test_consensus_heights = [ "snarkvm-console/test_consensus_heights", "snarkvm-synthesizer/test_consensus_heights" ]
 
 [workspace.dependencies.snarkvm-algorithms]
 path = "algorithms"

synthesizer/Cargo.toml

@@ -60,6 +60,7 @@ wasm = [
 ]
 dev-print = [ "snarkvm-utilities/dev-print" ]
 dev_skip_checks = [ "snarkvm-synthesizer-process/dev_skip_checks" ]
+test_consensus_heights = [ "snarkvm-synthesizer-process/test_consensus_heights" ]
 
 [[bench]]
 name = "kary_merkle_tree"

synthesizer/process/Cargo.toml

@@ -47,6 +47,7 @@ test = [ "snarkvm-console/test" ]
 timer = [ "aleo-std/timer" ]
 dev-print = [ "snarkvm-utilities/dev-print" ]
 dev_skip_checks = [ ]
+test_consensus_heights = [ ]
 
 [[bench]]
 name = "stack_operations"

synthesizer/process/src/stack/deploy.rs

@@ -67,7 +67,7 @@ impl<N: Network> Stack<N> {
         // NOTE: As developer, you will likely still want to confirm that your
         // deployment is within R1CS constraint and variable limits using
         // targeted and parallelized synthesis.
-        if cfg!(feature = "dev_skip_checks") {
+        if cfg!(all(feature = "dev_skip_checks", feature = "test_consensus_heights")) {
             return Ok(());
         }
 

synthesizer/process/src/trace/mod.rs

@@ -237,7 +237,7 @@ impl<N: Network> Trace<N> {
         verifier_inputs: Vec<(VerifyingKey<N>, Vec<Vec<N::Field>>)>,
         execution: &Execution<N>,
     ) -> Result<()> {
-        if cfg!(feature = "dev_skip_checks") {
+        if cfg!(all(feature = "dev_skip_checks", feature = "test_consensus_heights")) {
             return Ok(());
         }
         // Retrieve the global state root.
@@ -271,7 +271,7 @@ impl<N: Network> Trace<N> {
         verifier_inputs: (VerifyingKey<N>, Vec<Vec<N::Field>>),
         fee: &Fee<N>,
     ) -> Result<()> {
-        if cfg!(feature = "dev_skip_checks") {
+        if cfg!(all(feature = "dev_skip_checks", feature = "test_consensus_heights")) {
             return Ok(());
         }
         // Retrieve the global state root.