Some miscellaneous updates, mostly to try to track down the RNG problem
(which is still not tracked down - we're somehow generating a different
result in our .rsp file than we generate when we run our own self test,
and I have no idea how) but also to massage the test formats.