Show diagnostics for unused `use` statements.

If a model file contains a `use` statement, but the imported trait is not applied to any of the shapes within the file, or the imported shape is not used, show a `note` or `warning` diagnostic statement on the unused use statement so that the model author is prompted to either remove the use statement, or make use of it by applying the trait, or using the shape as appropriate.