enable Drop statements

simulator/generation/property.rs

@@ -1657,8 +1657,7 @@ impl PropertyDiscriminants {
             }
             PropertyDiscriminants::DropSelect => {
                 if !env.opts.disable_drop_select {
-                    // remaining.drop
-                    0
+                    remaining.drop
                 } else {
                     0
                 }

simulator/generation/query.rs

@@ -121,7 +121,7 @@ impl QueryDiscriminants {
             QueryDiscriminants::Insert => remaining.insert,
             QueryDiscriminants::Delete => remaining.delete,
             QueryDiscriminants::Update => remaining.update,
-            QueryDiscriminants::Drop => 0,
+            QueryDiscriminants::Drop => remaining.drop,
             QueryDiscriminants::CreateIndex => remaining.create_index,
             QueryDiscriminants::Begin
             | QueryDiscriminants::Commit