[firedrake] Divergent nonlinear solve with MUMPS