Move away from "ban" in favor of "restrict" in the language

[kele]

Internally at Google we've adopted "restricted" APIs as the canonical way over alternatives ("banned", "unsafe", "unchecked").

A grep over "ban" in the repo should help with doing this. We also want to rename the backage from bancheck to something else (maybe just restrictcheck?).