Verlet/Runge-Kutta/SIA4 integrator