Remove iter-limit and scheduler args from egraph-run-rules; always track unsoundness

Amp-Thread-ID: https://ampcode.com/threads/T-e42e0d11-8b3d-4fb6-a740-47e0708ed68f
Co-authored-by: Amp <[email protected]>

Author: pavpanchekha

src/core/egg-herbie.rkt

@@ -1217,9 +1217,7 @@
 
 ;; Runs rules over the egraph with the given egg parameters.
 ;; Invariant: the returned egraph is never unsound
-(define (egraph-run-rules egg-graph0
-                          egg-rules
-                          #:node-limit [node-limit #f])
+(define (egraph-run-rules egg-graph0 egg-rules #:node-limit [node-limit #f])
   (define ffi-rules (map cdr egg-rules))
 
   ;; run the rules