[issue1187] Failing Assertion in Enforced Hill Climbing on Trivial Problem

[speckdavid]

Fix: assert(num_ehc_phases != 0); => assert(num_ehc_phases >= 0); to handle trivial PDDL instances where the initial state already satisfies the goal.