test: be more sophisticated when checking test output, to unbreak ourselves following liballocs split.
More tweaks following liballocs split.
Support __named_a checks for opaque types.