I'm sure you're all sick of reading this, but now that I've typed so much I figure I'll continue with a few other bits I enjoy. To go back to Superman redeeming Batman, there is an intended meta element to it too I feel. Batman is an old character in BvS, and he is an old character in the movies. He has had many more movies than Superman has, and it all these movies (except for the Adam West one and the black and white serials) has has killed people. And we have been fine with this. In the movies, we the public and our inherent jadedness have turned Batman into a killer, much in the same way the universe Superman enters in BvS has turned Batman into a killer. Its not until he shares a screen with Superman does the public question why he kills and start asking for the no kill code back. And at the end of the movie he gets it back, after Superman sacrifices himself and proves to Batman, and the world, that he is indeed just a force of a good, or as Batman says it "men can still be good". Its illustrated when Batman corners Lex in his prison cell and does't brand him (instead opting for more classic Batman scare tactics). Even in the comics Batman started out killing, but once he became more integrated into the larger superhero universe they started telling stories where had a no kill rule. And this brings me to, you guessed it (sorry if my pattern is getting predictable) another thing I loved about these movies. They find ways to look at the big picture of a character, like Batman, see how the character has changed over its entire history, and make it part of the story.