Config files as input to ExplorerMain
Sol verification is now configurable option, some more experiments