Text this: Hausdorff measure of the singular set of quasiregular maps on Carnot groups