Support of Showing Local Events Location in Spirv

[CapZTr]

In #760 Local events are added to witness graph. This PR supports showing source-level location information for Locals in Spirv code, since they are often related to control flows (Phi instructions) so that need to be treated specifically.