Constraints ⇒ slow updates

Constraints slow down updates in three ways:

1. The overheads of the constraint checking itself
2. The reduction in concurrency because variables cannot be updates independently
3. Detection and handling of dead-locks (e.g. selecting a victim and aborting it)