Adaptive Velocity Verlet is implemented correctly, but still crunches at
approximately 2*tcrunch (The ordinary Velocity Verlet crunches at
approximately the correct time).