Buckling notched jack studs - how to remedy?
After looking at the pictures again I think you need to go with your first solution. The other two solutions are just band aids and would probably take more work than the first one. Maybe replace the cripple first and support the window header from it. Then a floor jack to the top plate and get the king/jack studs all at once. Good luck and keep us posted... maybe a few more pictures.