more cleanup for test_codesign_system, and a few new test cases