intermediate checkin, getting the annotations and checks more precise for list.cc
finished adding trace calls to all of std::list's methods, and verified that (1) all methods from standard are TRACEd; and (2) all TRACEd methods are called from transactions.  Note that all TRACEd methods are also correctly discussed in bench.cc