Pushrod diameter question

The bigger the pushrod, the better. With no exceptions.
That said, all bets are off, obviously if you cant get them to fit.
But assuming you can make a bigger diameter pushrod work, by all means do so.