But what will it prove?
Absence of evidence is not evidence of absence.
The source code will be MLOC (and probably still be in assembler for mainframes).
With processor microcode that complex you'd want a to scrutinize it from a dump of the mask layouts in the ROM.
And AFAIK that's not on the table at all.
Paranoid, moi?