Minor fixes
Receiving without trapping exits
Smaller version of Manolis rush-hour, suitable for testing DPOR
Strengthen dependencies

The dependency relation is conditional on the patched cases and it may
lead to sleep set blocking. Make the relation unconditional for the time
being. Only tests in known_issues are broken by this change.
Classify some more instruction pairs as independent
TEMP: Backtrack consistency