[mlir][spirv] Implement missing validation rules for ptr variables (#67871)

Variables that point to physical storage buffer require aliasing
decorations. This is specified by the `SPV_KHR_physical_storage_buffer`
extension.

Also add an example of a variable with a decoration attribute.