Oh, replying to myself... I just tested sending from a Gmail account to my regular columbia.edu address, using BCC and with no address in "To:". This did not hit MISSING_HEADERS, and in fact had /To: undisclosed-recipients:;/. So now I don't know what the sender did in the case I was writing about.
-- Joseph Brennan Lead, Email and Systems Applications