tripped

Whether lane's budget is already spent. Read by the pump before it steps the next eval, so an eval that never got its turn can be ended with that reason instead of the offender's. The two reads are coherent without a lock: gen is written only by the lane thread, which is also this method's only caller.