starknet_os_flow_tests: move coverage logic to separate module (#10828)

Author: dorimedini-starkware

.gitattributes

@@ -5,4 +5,4 @@ crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/*.json -d
 
 # Hint coverage of specific test cases do not require review - we use these artifacts to compute the
 # list of all uncovered hints, which *should* be reviewed.
-crates/starknet_os_flow_tests/resources/hint_coverage/*.json -diff
+crates/starknet_os/resources/hint_coverage/*.json -diff

crates/starknet_os/Cargo.toml

@@ -14,7 +14,7 @@ deserialize = [
   "starknet_patricia/deserialize",
 ]
 include_program_output = []
-testing = ["blockifier/testing", "starknet_patricia/testing"]
+testing = ["blockifier/testing", "expect-test", "itertools", "starknet_patricia/testing"]
 
 [dependencies]
 apollo_starknet_os_program.workspace = true
@@ -36,8 +36,10 @@ cairo-vm = { workspace = true, features = [
 ] }
 derive_more.workspace = true
 digest.workspace = true
+expect-test = { workspace = true, optional = true }
 indexmap.workspace = true
 indoc.workspace = true
+itertools = { workspace = true, optional = true }
 log.workspace = true
 num-bigint.workspace = true
 num-integer.workspace = true