PL_check is an array indexed by opcode number (op_type) that contains
function pointers invoked as the last stage of optree compilation,
per op.