assert that Petsc really is initialized when initialized=True