Remove some stale comments from headers.
Start a high-level TODO list in the README file.
Add a TODO.
Only dump LiveIn/LiveOut if they have been computed.