Simplify `CapabilitySet` Diagnostic Printing (#4678)

Fixes: #4675
Fixes: #4683
Fixes: #4443
Fixes: #4585
Fixes: #4172

Made the following changes:
1. All capability diagnostic printing logic tries to simplify before printing. This means that we do not print atoms which imply another atom.
2. Do not print the `_` prefix part of atom names since it is misleading users on what they should use to solve a capability issue encountered. (`_Internal` `External` atom changes are not in this PR)
3. Bundle together printing of all sets which contain exactly the same atoms (excluding abstract atoms). This allows printing the following `vertex/fragment/hull/domain/... + glsl` instead of `vertex + glsl | fragment + glsl | hull + glsl | domain + glsl | ....`
4. Rework how entry-point errors are reported to users (example at bottom of PR comment)
5. Rework how atom-provenance data is collected to be leaner and more useful so we can rework the errors. There are 2 notable changes here:
    * We no longer store a list which describes where the first of an `CapabilityAtom` comes from. This heavily simplifies AST logic for the capability system. AST parsing of capabilities is much faster. The trade-off is faster AST parsing and correct AST node data for slower diagnostics if an error is found
    * atom-provenance data now stores a reference to an atom's use-site to provide information on **where** and **what** is wrong with user code versus only sharing **what** and not where. 

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/language-feature/capability/capabilitySimplification2.slang b/tests/language-feature/capability/capabilitySimplification2.slang
new file mode 100644
index 000000000..8d96884ce
--- /dev/null
+++ b/tests/language-feature/capability/capabilitySimplification2.slang
@@ -0,0 +1,27 @@
+//TEST:SIMPLE(filecheck=SPIRV): -target spirv -emit-spirv-directly -entry computeMain -stage compute -profile sm_5_0
+//TEST:SIMPLE(filecheck=GLSL): -target glsl -entry computeMain -stage compute -profile sm_5_0
+//TEST:SIMPLE(filecheck=HLSL): -target hlsl  -entry computeMain -stage compute -profile sm_5_0
+//TEST:SIMPLE(filecheck=CHECK_IGNORE_CAPS): -target spirv -emit-spirv-directly -entry computeMain -stage compute  -profile sm_5_0 -ignore-capabilities
+
+
+// CHECK_IGNORE_CAPS-NOT: warning 41012
+
+// SPIRV: warning 41012
+// SPIRV-NOT: spirv_1_2
+// SPIRV-NOT: spirv_1_3
+// SPIRV-SAME: spvGroupNonUniformBallot
+
+// GLSL: warning 41012
+// GLSL-NOT: GLSL_400
+// GLSL-NOT: GLSL_430
+// GLSL-SAME: GL_KHR_shader_subgroup_ballot
+
+// HLSL: warning 41012
+// HLSL-NOT: sm_5_1
+// HLSL-SAME: sm_6_0
+
+[require(sm_6_0)]
+[numthreads(1,1,1)]
+void computeMain()
+{
+}