Don Carlos is my favorite Verdi opera, and I’m always in favor of including the most music. But it can be a dizzying task to keep track of all the options.