Harden btc<=>satoshi against all possible inputs, add tests.