In combineMetadata, we should be able to preserve K's nonnull metadata,
if K dominates J. This condition should hold for all replacements by
NewGVN/GVN, but I added a bunch of assertions to verify that.
There probably are additional kinds of metadata that could be preserved
using similar reasoning. This is follow-up work.