fixed a bunch of broken test cases in the design branch