HPC Challenges in Simulating the World’s Most Powerful Tornados