Ben Platt played the title role in this musical about a high schooler with anxiety issues