Function denormalizeWidth

Compute a stroke width in local pixels given the fractional width and the stroke's authoring aspect ratio mapped into the local content rect. Mirrors denormalize's letterbox-fit so widths scale consistently with positions.