Anyone experienced with Vercel AI SDK v5? Will pay $500 to whoever migrates Toolkit from v4 -> v5 Full type safety required