Add missing design tests to test suite & make failing design tests pass