Added optional CS3 course SoftEng Verification