Clean up calc_verlet_buffer_size()