Daniel Okrent’s biography seeks the composer/lyricist’s motivation and finds complication and nuance, while Barry Joseph’s book asks what Sondheim’s games and puzzles can tell us about him.