[petsc4py] What should be the 'default' communicator?