No, I've seen interviews about this film discussing the improv. Reynolds* took the lead of course, but Gadot is a proper actor, and all actors train in improv (then don't get to use their leet skills in scripted drama), and as for the Rock, professional wrestling is an improv performance.
Which may be the main reason why this director was selected for this project...
*One notable instance was Reynolds whistling the Raiders theme, then they had to go and beg John Williams for permission to use it.