Pass value directly to instrumentation translator.

Rather than passing something indirect to the instrumentation translation function, which needs to go and look things up, do the lookup in the assertion code. This makes assertion site instrumentation more consistent with other translators.