Implement the updated axolotl ratchet (disabled for now).

There was a weakness in the initial revision of axolotl which is fixed
in this update. However, it's disabled for now while I think about
whether anything else needs to go into this version update.