integrators: add regular Verlet, fix bugs