It’s extremely unlikely Democrats will have to change the ticket. But even some Clinton allies say there should be a clearer process.