PROBCORE-471 PROBCORE-482 YAY! Created abstraction to separate ModelChecker from IModelCheckJob. Now all new model checkers (CBC, LTL) can simply create a IModelCheckJob which can be given to the ModelChecker who handles all of the starting, cancelling, etc.