Add checks to the modules test case to ensure

that module types and runtime types play well
together.

llvm-svn: 233976