Improved HA documentation

More detailed description of how to recover when state servers fail and many other fixes and cleanups throughout.
I'd be tempted to move the time estimate to a second sentence, this is a lot to take in.