Added assertion to ensure straggler time >= GVT and some other minor adjustments