@Test
    void validateModelThrowsOnModelWithoutAllTraceFileShapeIds()
            throws ExpectationNotMetException, URISyntaxException, FileNotFoundException {
        Assertions.assertThrows(ExpectationNotMetException.class, () -> {
            TraceFile traceFile =
                    parseTraceFileFromFile(getClass().getResource("trace-for-simple-service-validation.json").toURI());
            Model model = assembleModelTestHelper("simple-service.smithy");
            //add a shape to our model that's not in our trace file
            model = model.toBuilder().addShape(StringShape.builder().id("ns.foo#bar").build()).build();
            traceFile.validateModel(model);
        });
    }
Validate TraceFile use tests
validateTypesOrTags throws with invalid type, and throws with invalid tags
validateModel works with valid input, throws with invalid model/trace file pair
smithy-codegen-core/src/test/java/software/amazon/smithy/codegen/core/trace/TraceFileTest.java