add ensure-no-std crate to workspace + add ensure_no_std crate

.github/codecov.yml

@@ -5,8 +5,8 @@ coverage:
         threshold: 5%
 
 ignore:
-  - src/vm/errors
-  - src/types/errors
+  - vm/src/vm/errors
+  - vm/src/types/errors
   - hint_accountant
-  - src/hint_processor/cairo-1-hint-processor # TODO: Remove this line
+  - vm/src/hint_processor/cairo-1-hint-processor # TODO: Remove this line
   - ./deps

.github/workflows/rust.yml

@@ -217,11 +217,11 @@ jobs:
           cargo llvm-cov nextest --lcov --output-path lcov-${{ matrix.target }}.info --workspace --features "cairo-1-hints,  test_utils" 
           ;;
         'test-no_std')
-          cargo llvm-cov nextest --lcov --output-path lcov-${{ matrix.target }}.info --workspace --features test_utils --no-default-features
+          cargo llvm-cov nextest --lcov --output-path lcov-${{ matrix.target }}.info --workspace --no-default-features
           ;;
         'test-wasm')
           # NOTE: release mode is needed to avoid "too many locals" error
-          wasm-pack test --release --node --no-default-features
+          wasm-pack test --release --node vm --no-default-features
           ;;
         esac
 
@@ -423,4 +423,4 @@ jobs:
         if [ ${{ matrix.program-target }} = cairo_proof_programs ]; then
           PROOF=proof
         fi
-        ./src/tests/compare_vm_state.sh trace memory $PROOF
+        ./vm/src/tests/compare_vm_state.sh trace memory $PROOF

CHANGELOG.md

@@ -18,6 +18,10 @@
 
 * fix: substraction of `MaybeRelocatable` always behaves as signed [#1218](https://github.com/lambdaclass/cairo-rs/pull/1218)
 
+* move the vm in it's own directory and crate, different from the workspace
+
+* add a `ensure_no_std` crate that will be used by the CI to check that new changes are not reverting `no_std` support
+
 #### [0.5.1] - 2023-6-7
 
 * fix: fix overflow for `QUAD_BIT` and `DI_BIT` hints [#1209](https://github.com/lambdaclass/cairo-rs/pull/1209)