Lin-Manuel Miranda’s much-loved musical opened on Broadway a decade ago, ushering in a new era of race-conscious casting, ...