Slurp up deprecated flags, logging a warning

Fix #1141 
@xiangli-cmu yeah, we don't need a custom flagset yet. At some point my WIP solution did, but clearly not anymore. I'll revert those changes.