Use FileCheck and expand the test a bit.

In particular, check the name of the symbol we are putting in the constant pool.