Verification Procedure for On-orbit Controllers for the MIT Middeck Active Control Experiment