Frequency Stability of 2.5 x 10^-17 from a Si Cavity with AlGaAs Crystalline Mirrors