Simplify hartSupports_measure()

Author: nadime15

model/riscv_termination.sail

@@ -91,22 +91,14 @@ termination_measure virtual_memory_supported(_) = 3
 
 function hartSupports_measure(ext : extension) -> int =
   match ext {
-    Ext_Zvkned => 0,
-    Ext_Zvknhb => 0,
-    Ext_Zvkb => 0,
-    Ext_Zvkt => 0,
-    Ext_Zvbc => 0,
-    Ext_Zvkg => 0,
-    Ext_Zvksed => 0,
-    Ext_Zvksh => 0,
     Ext_D => 1,
     Ext_Zvkn => 1,
     Ext_Zvks => 1,
+    Ext_C => 2,
     Ext_Zvknc => 2,
     Ext_Zvkng => 2,
     Ext_Zvksc => 2,
     Ext_Zvksg => 2,
-    Ext_C => 2,
     _ => 0,
   }