`AbstractInterpreter`: allow overloading `merge_effects!` (#46559)
This allows external `AbstractInterpreter`s to observe effects computed
for each statement (as like `add_remark!`) and show more fine-grained
effects information, e.g. in Cthulhu's code view.