A Phase Following a Never Ending Phase should throw an exception when Solver is built

Currently, if a phase is after a never ending phase (ex: local search without termination), then that phase is never run. This is confusing for the user, who expect the phase to run (otherwise, why specify it). Thus, an exception should be thrown if a a phase follows a never ending phase to alert the user the phase will not be run.