Dynamic asymptotic dimension and Matui's HK conjecture