introduce the class of sequential readiness models

The proof of conditional inclusion of FP in GEL does not depend on whether jobs self-suspend or not. However, the proof so far was limited to a specific readiness model that does not allow for self-suspensions. This patch weakens the assumption to allow for any readiness model that ensures that tasks execute sequentially (including self-suspending ones).