Recognize -explore switch on CLI, requiring the explicit engine.

(Unfinished, yields NullPointerException at the moment.)