Checks a titus.pfaast.EngineConfig for the possibility of deadlock.
If any function used as an updator eventually calls some other function that would update state, this function raises titus.errors.PFAInitializationException.