Holy Diver's a great bet. But funnily enough, for them Satriani type songs, I love using an Abraxas. If you're going to be playing some insane shredding at very high gain, as well as them 80s style riffs, then Holy Diver would be perfect. If you want something more for them beautiful instrumental style Satriani solos, get an Abraxas.
Another thing to consider is, if you want a tone more in the Satriani end of things, then something with a little extra top end, such as the VHII could be a good bet. Even though the DC is around 8 as compared to the Abraxas' 14, don't worry. Both still feel powerful. I find it kind of makes the balance between Alnico IV and V.