Added docs describing how to trace vere calls.