Implement indirection instrumentation.

This commit provides the back-end (instrumenter) support for TESLA expressions like:

previously(fpgetvp(&vp) == 0)

It also creates the place for struct field reference instrumentation to go in, but doesn't implement that yet.