I'm not yet clear if these are the right checks, but it puts
the right infrastructure and example in place.

Note: semantic checking against versions/extensions should happen earlier
than SPIR-V generation, so SPIR-V generation need only assume it is okay
to do what was asked.