Tbh... Thunderstone shards are very easy to find in extreme hills biome and if u do have a god pickaxe then getting thunderstones is as easy as finding rattatas
Feels bad man, but i think u can easily find them. Just keep /rtp or /brtp to random extreme hills or related biomes and u can find them in broad daylight