You are correct to wonder about overclocking, as with these boards you need to increase the BCLK (which in turn raises the memory fequency as well as CPU frequency) and ideally you want to run the RAM at stock clockspeeds (1333MHz in this case) as that is what its rated to.
However, the memory has a multiplier separate to the CPU multi - so you can set memory speeds independently as you increase the BCLK. This means that even when the CPU is overclocked you can keep the RAM at or below its rated frequency (so long as you are offered a low enough minimum memory multiplier).
I'm not sure what the minimum memory multiplier for the sabertooth X58 board is, but you can check by going into the BIOS and seeing what the lowest "DRAM Frequency" you are able to chose when at the stock 133MHz BCLK (this option can be found in the "AI Tweaker" part of the BIOS).