solverInitializersWithEventsList

Same four loading strategies as solverInitializers, but built with default built-ins and each paired with the mutable event list its solver's stdOut/stdErr/warnings channels append to — so a caller can load a theory containing initialization/1/solve/1/writing directives and then assert on what was written or warned about during loading.