Changed Verlet integration

Now updates state at half-step.