termite: add WorkRequest.TrackReads
termite: move writing annotation to the analyze package.