It seems like it would be desirable to switch the Tracy-Widom evaluation from the Painlevé to the Bornemann approach. There's an implementation here
https://github.com/AustenLamacraft/TracyWidom.jl
@andreasnoack suggested incorporating this into RandomMatrices.