Significant performance regression on glucose_rs

[semiexp]

with seed=415088020657969144, the following code takes much time with glucose_rs backend:

run_single_fuzz_trial(seed, FuzzerLogEncodingMode::Force, true, false);

Glucose time: 237.21 seconds
GlucoseRs time: 5900.57 seconds

[semiexp]

glucose

PerfStats { time_normalize: Cell { value: 0.03202023599999997 }, time_encode: Cell { value: 0.21356788600000023 }, time_sat_solver: Cell { value: 237.14609106899948 }, decisions: Cell { value: 1543520094 }, propagations: Cell { value: 1876040993 }, conflicts: Cell { value: 100670 }, iterations: Cell { value: 0 } }

glucose_rs

PerfStats { time_normalize: Cell { value: 0.03459661999999998 }, time_encode: Cell { value: 0.22726645000000012 }, time_sat_solver: Cell { value: 5803.102628223998 }, decisions: Cell { value: 28042414091 }, propagations: Cell { value: 31631378854 }, conflicts: Cell { value: 2241210 }, iterations: Cell { value: 0 } }