feat(cvlr-spec): add #![no_std] for no_std / wasm32v1-none consumers

cvlr-macros/tests/expand/test_cvlr_rule_for_spec.expanded.rs

@@ -73,7 +73,7 @@ pub fn test_edge_cases() {
     }
 }
 pub fn test_spec_with_method_calls() {
-    let expr = <[_]>::into_vec(::alloc::boxed::box_new([1, 2, 3]));
+    let expr = [1, 2, 3];
     {
         let _rule_name = "method_check";
         let _spec = expr.len() > 0;

cvlr-macros/tests/expand/test_cvlr_rule_for_spec.rs

@@ -115,7 +115,7 @@ pub fn test_edge_cases() {
 }
 
 pub fn test_spec_with_method_calls() {
-    let expr = vec![1, 2, 3];
+    let expr = [1, 2, 3];
 
     // Test with method calls in spec
     cvlr_rule_for_spec! {

cvlr-spec/src/lib.rs

@@ -1,3 +1,4 @@
+#![no_std]
 //! Specification language for CVL (Certora Verification Language) in Rust.
 //!
 //! This module provides a framework for writing specifications with preconditions