v2.4.2

This release contains a fix for a dependency on the order of initialization of global objects that caused crashes in array solver on new MacOS with M2 chip.
Additionally it contains a bug fix and performance improvement for the parallel version of OpenSMT and a performance improvement for arithmetic logics based on better substitution analysis.