[FIX] SDUR_VV_GC

The previous implementation has so many problems.
The new implementation fixes all those problems, completely follows the original SDUR algorithm, and is GENUINE.
However, because of the impossibility results in [Europar'13], it might abort udpate transactions.