Summary:
To get the example code to play a WAV file from the built-in SD card on a Teensy 3.5, I had to make two changes:
1. A short delay was needed between the __disable_irq() and SD.open() calls in AudioPlaySdWav::play(). This prevented the Teensy from getting stuck indefinitely waiting...