My 10yo son plays indoor soccer and even with my XT at ISO 1600 and my 85mm f/1.8 wide open at f/1.8, I find that I still can't get fast enough shutter speeds. I could get an even faster lens or a body that can shoot higher than 1600 ISO. But I've found that the most practical solution is to do what you said, underexpose 1 stop in RAW and increase the exposure in post. But that would be a last resort only after I've maxed out my ISO and aperture.
The downside is the results are extremely noisy and with an extremely narrow DOF. The first isn't that much of a problem because I'd rather have a noisy shot than one with motion blurr. But the narrow DOF makes it even harder to get the focus accurate, but when you can, the results are the best you can get in difficult lighting.
"You only get one sunrise and one sunset a day and you only get so many days on the planet. A good photographer does the math and doesn't waste either." - Galen Rowell