refactor(stm): added new test to the sequential CI tests

Author: damrobi

.config/nextest.toml

@@ -20,5 +20,5 @@ path = "tests-result.junit.xml"
 report-name = "mithril-tests"
 
 [[profile.ci.overrides]]
-filter = 'test(#proof_system::ivc_halo2_snark::*slow::*)'
+filter = 'test(#proof_system::halo2_snark::*slow::*) or test(#proof_system::ivc_halo2_snark::*slow::*)'
 test-group = "ivc-snark-sequential"