I still think the best alternative if he wants to continue scoring Superman but doesn't want to have to start from scratch on Batman is simply to hire a collaborator to develop the Batman side of the score.

This is the best option, no question. He even has experience collaborating with another composer in the first two Batman films. He could even get James Newton Howard again, though that would probably be too similar to the scores in the Nolan franchise.