Dumping vcd before clock_hi is the most logical choice. Recall, the logic of clock_lo ensure that after its execution all signals are 'consistent' (ready to be clocked in, etc.) according to the current state and inputs whereas clock_hi just updates registers. This change is consistent with how the reference-chip testbench is constructed.