Isa 35:3 Strengthen ye the weak hands, and confirm the feeble knees.
Isa 35:4 Say to them that are of a fearful heart, Be strong, fear not: behold, your God will come with vengeance, even God with a recompence; he will come and save you.
Isa 35:5 Then the eyes of the blind shall be opened, and the ears of the deaf shall be unstopped.
Isa 35:6 Then shall the lame man leap as an hart, and the tongue of the dumb sing: for in the wilderness shall waters break out, and streams in the desert.
God is not going to tell us every individual miracle that Jesus did,and the name of the person,but that miracles will be done when the Messiah comes.
Some may say that the raising of Lazarus should be in the Old Testament for it is such a big miracle,but there is no difference to God if He heals someone of the common cold,or raises them from the dead,it is all easy to God.
God said nothing is too hard for Him,and Jesus said everything is possible with God.
Raising Lazarus is not hard for God like Him healing someone that has the sniffles,or a wee cough.
Create a planet,create a person,heal a person of a cold,it is all easy for God,for He understands how to assemble all physical matter to what He wants,and give life,and there is not one thing that is more difficult to do than another thing with God.
Humans may have a difficult time with some things compared to other things,but to God it is all easy,and the same to Him.
Jesus said what is more difficult forgiving of sins,or a miracle,for there is no difference with God.Him raising Lazarus from the dead is as easy as Him saying your sins are forgiven.
So the raising of Lazarus is not really some great miracle,and all the others pale in comparison that it has to be mentioned in the Old Testament of its greatness,for all miracles are the same to God.
Jesus healing the blind,and deaf,and the lame,should be enough information in the Old Testament to give them proof that Jesus is the Messiah,for no man did what He did.