MAX10 TSD - ADC Toolkit results in BSoD on Windows 10

A little background. I'm doing development on a custom board designed for a class. It uses the MAX10 10M50SAE144C8G. The board is used for a hardware security lab course and we're using the built in ...