Leapfrog, adpatve stepsize, and time reversibility

Nope, during sampling phase all tuning is off

within one HMC or NUTS step the step size is constant, so in that regard it is time-reversible still.