I was finally able to figure out how to get my card to be read by the reader. I downloaded OpenSC-0.15.0.dmg from https://github.com/OpenSC/OpenSC/releases/tag/v0.16.0-pre1
Once I installed the program, badge was able to be read without making any further setting changes.