script_opt: Add missing virtual destructor (cppcoreguidelines-virtual-class-destructor)

.clang-tidy

@@ -2,6 +2,8 @@ Checks: [-*,
          bugprone-*,
          performance-*,
 
+         cppcoreguidelines-virtual-class-destructor,
+
          # Skipping these temporarily because they are very noisy
          -bugprone-narrowing-conversions,
          -bugprone-unchecked-optional-access,

src/script_opt/CPP/RuntimeInits.h

@@ -174,6 +174,8 @@ public:
         inits_vec.resize(num_inits);
     }
 
+    virtual ~CPP_AbstractInits() = default;
+
     // Initialize the given cohort of elements.
     void InitializeCohort(InitsManager* im, int cohort) {
         // Get this object's vector-of-vector-of-indices.