For many lucky theatergoers who scored “Hamilton” tickets, July 9 will be the gloomiest day ever. That’s when Lin-Manuel Miranda ends his run in the show. So will co-stars Phillipa Soo and Tony winner Leslie Odom Jr. And those people who shelled out big bucks for performances from July 10 on aren’t feeling so lucky...