GP will be Stein or a no name but the libertarian will be Rand Paul who challenges Trump like Reagan did to Ford in the Rep primary but unlike Reagan will leave the party over Trump and get the libertarian nom
No it won't be Paul, unless he leaves the Senate, or becomes an independent (hint: he won't). You can't run against the Republican candidate when you're a member of the Republican caucus in the Senate. That's why the only Republicans willing to run against Trump were people who were not active members of the party like Johnson, Weld or McMullin.
I think he can, he definitely can primary the president like Ted Kennedy did to Carter. But yes, I am not sure if caucus rules will be supportive of him contesting with the Libs - He will have to surely let go of the GOP Senate seat. Or if he doesn't he will be considered a traitor & will find re-election difficult.
He is a smart guy & he wouldn't do it. I think he will run again in 2024 when he will be 61 only.