Explicit VU for Uniform being read only (#1879)

* Explicit VU for Uniform being read only

* Add Block decorated to VU

* regenerate the VUID

appendices/spirvenv.txt

@@ -253,10 +253,11 @@ endif::VK_VERSION_1_1[]
     <id> of a constant vector [eq]#(0,0)#, or if a layer coordinate is used,
     must: be a vector that was formed with constant 0 for the [eq]#u# and
     [eq]#v# components
-  * [[VUID-{refpage}-OpTypeImage-04661]]
-    Objects of types code:OpTypeImage, code:OpTypeSampler,
-    code:OpTypeSampledImage, and arrays of these types must: not be stored
-    to or modified
+  * Objects of types code:OpTypeImage, code:OpTypeSampler,
+    code:OpTypeSampledImage, code:OpTypeAccelerationStructureKHR,
+    and arrays of these types must: not be stored to or modified
+  * Any variable in the code:Uniform storage class decorated as code:Block
+    must: not be stored to or modified
   * [[VUID-{refpage}-Offset-04662]]
     Any image operation must: use at most one of the code:Offset,
     code:ConstOffset, and code:ConstOffsets image operands
@@ -273,9 +274,6 @@ endif::VK_VERSION_1_1[]
   * [[VUID-{refpage}-OpImage-04777]]
     code:OpImage*Dref* instructions must: not consume an image whose `Dim`
     is 3D
-  * [[VUID-{refpage}-OpTypeAccelerationStructureKHR-04665]]
-     Objects of types code:OpTypeAccelerationStructureKHR and arrays of this
-     type must: not be stored to or modified
   * [[VUID-{refpage}-OpReportIntersectionKHR-04666]]
     The value of the "`Hit Kind`" operand of code:OpReportIntersectionKHR
     must: be in the range [eq]#[0,127]#