LibSodium as an example of a Tezos developer design choice