Generalize bugpoint's concept of a "safe" backend, and add options