Add solver option to preferences page. Allow nonlinear operations for Z3.