starknet_os_flow_tests: add coverage regression testing

.gitattributes

@@ -2,3 +2,7 @@
 crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/*.json -diff
 crates/blockifier_test_utils/resources/feature_contracts/cairo1/compiled/*.json -diff
 crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/*.json -diff
+
+# 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/src/hints/enum_definition.rs

@@ -1,7 +1,7 @@
 use blockifier::state::state_api::StateReader;
 use indoc::indoc;
 #[cfg(any(test, feature = "testing"))]
-use serde::Serialize;
+use serde::{Deserialize, Serialize};
 use starknet_types_core::hash::{Blake2Felt252, Poseidon};
 #[cfg(any(test, feature = "testing"))]
 use strum::IntoEnumIterator;
@@ -262,7 +262,10 @@ pub(crate) const TEST_HINT_PREFIX: &str = "# TEST HINT";
 
 macro_rules! all_hints_enum {
     ($($inner_enum:ident),+) => {
-        #[cfg_attr(any(test, feature = "testing"),derive(Serialize, strum_macros::EnumIter))]
+        #[cfg_attr(
+            any(test, feature = "testing"),
+            derive(Deserialize, Serialize, Ord, PartialOrd, strum_macros::EnumIter)
+        )]
         #[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
         pub enum AllHints {
             $($inner_enum($inner_enum),)+

crates/starknet_os/src/hints/enum_generation.rs

@@ -3,7 +3,7 @@ macro_rules! define_hint_enum_base {
     ($enum_name:ident, $(($hint_name:ident, $hint_str:expr)),+ $(,)?) => {
         #[cfg_attr(
             any(test, feature = "testing"),
-            derive(Default, Serialize, strum_macros::EnumIter)
+            derive(Default, Deserialize, Serialize, Ord, PartialOrd, strum_macros::EnumIter)
         )]
         #[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
         pub enum $enum_name {