Checking modules without assuming a pipeline

[csyonghe]

In current implementation, pipeline-specific semantics cannot be checked per module because a module does not specify which pipeline it targets. It is probably necessary to add require world declarations in a module to allow such consistency checks within modules.