Your option 1 sounds right to me. I'm pretty sure that's how I did it, although it was a while ago and I may have been using an Arduino board (5V). Is your 5V supply running the Teensy? In that case they are sharing a ground anyway. Just send 5V to relay_JD-VCC, 3.3V to relay_VCC, GND to...