[Options] Update options.

We need to do this to remove references to implicit backtracing import,
but it also looks like there are some other options that haven't been
picked up yet.

rdar://143310410

Author: al45tair