Hardware-in-the-Loop Testing for the PolySim ADCS Lab