Complete detailed design in resource binding diagnostic infrastructure spec

[bob80905]

This PR adds a detailed specification for the register annotation diagnostic infrastructure, going into detail on the analysis and diagnostic emisison steps. It's a follow up PR of https://github.com/microsoft/hlsl-specs/pull/230