None of the above for me.
I have a Tremol-No in my full-floating Floyd guitar which I use to TEMPORARILY block the trem.
You can swap strings and tune in the same time it takes you to for a hardtail (well, minus the stretching part

).
Turns the guitar from full-floating to dive only to hardtail with the turn of a small knob, on the fly.
Unless you have a specific reason to go spring-loaded (which it is not and CANNOT return you to pitch after the fact) then that's my vote.