Add -disable-explicit-solver-optimisations to list of bool args