Bugfix: Keep worklistMap in sync with worklist in GreedyPatternRewriter

When we removed a pattern, we removed it from worklist but not from
worklistMap. Then, when we tried to add a new pattern on the same Operation
again, the pattern wasn't added since it already existed in the
worklistMap (but not in the worklist).

Closes #211

PiperOrigin-RevId: 277319669
Change-Id: I4d919ea19eb5ef229b1ee001ddd26faba26e6879

third_party/mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp

@@ -79,6 +79,7 @@ class GreedyPatternRewriteDriver : public PatternRewriter {
     if (it != worklistMap.end()) {
       assert(worklist[it->second] == op && "malformed worklist data structure");
       worklist[it->second] = nullptr;
+      worklistMap.erase(it);
     }
   }