These tests are hit hard by a bug that is fixed in a newer version
of UCRT. Add a test for the specific bug, and XFAIL the tests if
that bug is present (as it is in CI).
With that bug fixed, there's still one aspect in printf formatting that
differs, that requires ifdeffing out a couple parts of the test (hex
float formatting). Based on reading the C standard for printf formatting,
it seems like this isn't necessarily a proper bug in printf, but just a
case of differing optional behaviour.
(Layering this on top of D119930, to reuse the programSucceeds
function added there.)