v1.0.0
Avoid cyclical deadlocks in the verifier (#144) * Avoid cyclical deadlocks in the verifier By always incrementing targets when we are trying to hit something we know to be unlocked, we can avoid cycles in the waits-for graph * Add comment for target