Update vrpaxos-distalgo-optim-roy_code-optimized.da