Make `NonNilCheck`'s semantic changes configurable