Can our bombs really punch through solid rock like that? They built the uranium enrichment site inside a mountain after all.
Yes, they can. And if they can't that's why the built the B61-11 that'll dig in deep and do a nuke.
The US has invested very heavily on convential and nuclear busting for a long, long time. I remember reading stuff.. I can't really get into it, but dealt into the levels that we could bust into Soviet bunkers with different ordnance.
To me the only question is if they got the U-235 out before or not. Alledged it is 400kg of u-235 and that wouldn't be very big. According to Grok:
A 400 kg block of uranium has a volume of approximately 0.021 cubic meters (21 liters or 21,000 cm³). If shaped as a cube, each side would be about 27.6 cm (10.9 inches).
The size and so on of the nuclear pits is very small, 6-9" inches sphere. It's not like they'd need many trucks to move it around. What they went after were the same things Stuxnet went after, the production. Once it's produced it's pretty much too late.
And Pu-239 is a bit better on it, but U-235 will also work with gun types which needs maybe 15kg but didn't even need to be tested it's so easy to do.