‘Tonight Show’ Head Writer A.D. Miles Leaving