Lin-Manuel Miranda doing backing vocals on the new Mountain Goats album feels very full circle on my "Lin and John are each others' Wario" theory