pub fn verlet_step(pos: Vec2, vel: Vec2, acc: Vec2, dt: f32) -> (Vec2, Vec2)
Verlet integration step (position + velocity-Verlet). More accurate than Euler for conservative forces.