model-checker : modify chord example in mc for exhaustive exploration

Each node executes only one of the periodic sub-protocols (stabilize,
fix fingers, check predecessor or lookup) then it replies to requests
from other nodes.