Add butter and garlic to pan; cook 1 minute. Sprinkle in flour and whisk continuously for 30 seconds. Gradually stream in milk, whisking constantly, until combined. Increase heat to bring mixture to a simmer; cook 2 to 3 minutes, until slightly thickened. Add mushrooms back to skillet, along with thyme, remaining 3/4 tsp. salt, black pepper, and 1 tsp. lemon juice. Lay sliced leeks across the top of gratin, gently pressing to slightly submerge in milk mixture. Sprinkle breadcrumbs and Parmesan cheese overtop. Transfer to oven and bake for 35 to 40 minutes, until golden and bubbly.