Fix problem with cutting instructions sequences short.

Valgrind's IR optimizer by default doesn't keep client state
up to date at all instruction boundaries. As we often cut instruction
chains short, this led to missing PUTs (e.g. when a PUT/GET pair got
optimized out) and weird misbehaviour.
Detailed tracing commented output and we now output IMarks.