[firedrake] PETSc via petsc4py/PyOP2 really slow

Hi all, If I had a purely firedrake code, everything runs fast on my Macbook. But when I need to make direct calls to the TaoSolver via petsc4py or PETSc calls via PyOP2, the program is extremely slow. This was not the case as of several commits ago (like probably two months). I suspect it has something to do with not adding any optimization flags to the PETSc configure options? The PETSc developers suggest adding more than simply --with-debugging=0. For instance, if using GNU compilers one could use COPTFLAGS='-O3 -march=native' It seems to me that whatever compiler optimization flags were used for Firedrake/PyOP2 function calls are not used for direct usage of PETSc function calls? Thanks, Justin