Lock escalation error relaxation #22
Description
Currently we ban all lock escalations:
- E -> R
- R -> W
- E -> W
- A/B -> A (regardless of lock type)
Some of these are actually safe to let through. We can benefit from relaxing the requirements to only the ones that can lead to deadlocks. This should not be done though until deadlock detection is merged. #14