Paper Updates Latest

Added proof, removed DC-UCB references, and removed preemption cost
where reloads occur.