Use annotations to make tests more maintainable via intra-test checks rather than requiring golden output

From bruen...@google.com on September 19, 2014 19:17:14

Once we have annotations fully implemented (xref issue #573 , issue #283 , issue #572 ) we should use them to reduce the amount of "golden output" literal line numbers we have to match, which are a real pain when changing test code. We should keep some of them for true end-to-end testing.

Original issue: http://code.google.com/p/drmemory/issues/detail?id=1636