[firedrake] Instant and petsc4py issues with DMDA?