euler, verlet integrator and minor sat fixes