Bisect_ppx's PPX has several arguments for tweaking its behavior. I suggest something like `(instrumentation (backend bisect_ppx --foo --bar))` as a way to pass them. At the moment, I see no way available of doing this.