Incorrect number of matches used to inform scheduler in eqsat_search!()

[gkronber]

Issue refers to ale/3.0 branch.

Currently, the overall number of matches is used to inform the scheduler instead of the number of matches for each rule.
This means that BackoffScheduler does not work as intended.

Metatheory.jl/src/EGraphs/saturation.jl

Lines 106 to 110 in 081a9e6

	n_matches - prev_matches > 0 && @debug "Rule $rule_idx: $rule produced $(n_matches - prev_matches) matches"
	# if n_matches - prev_matches > 2 && rule_idx == 2
	# @debug buffer_readable(g, old_len)
	# end
	inform!(scheduler, rule_idx, n_matches)