Update TODO.

    The major goals are still the same, but I've knocked off
    a few things.
Remove apparently offensive comment.
Add single digit division, and make bigint output use it.