Remove obsolete todo comment

Piping and I/O redirection with vassh actually does seem to work just fine.