Make wait signature/redemption edge bidirectional
(await signatures) edge (liquidation fraud liquidation)
(await signatures) edge (redeemed)
- (await signatures) edge (await redemption)
+ (await signatures) edge [<->] (await redemption)
(liquidation fraud liquidation) edge (liquidated)
