Really a micropenis?
Micropenis is something an occasional boy is born with, and is visible before the doctor does the circumcision
So, he would have told the parents if the penis was teeny-weenie. If the glans (head of the penis) is still there, then the penis is all there despite the circumcision. Also, at the >15 check-ups a 9-yr old has had, the doctor would have discussed micropenis if it looked really tiny.