Improved HA documentation

More detailed description of how to recover when state servers fail and many other fixes and cleanups throughout.