On the convergence of dynamic implementations of Hamiltonian Monte Carlo and No U-Turn Samplers