Unless one needs the 3.3 V for something else too, why not run the DAC with 2.5 V and than do a x2 amplification. x2 is nice, as 2 equal resistors is easy and often quite stable. If really needed fine trim could be at the x 2 part.
TL0431 is cheap, but hardly better than what one finds as DAC internal reference, or with a decent 3.3 V voltage regulator.