Fixed multiple typos in README, and made non-linearizability consequences even more clear since it seems this is a major limitation for some folks