Miscellaneous strong consistency fixes

* A few typos
* Some rewording
* Place a greater emphasis on the availability tradeoffs