Solvency proof

To run this branch:

* update your `config/currency.yml`, check `config/currency.yml.example`
* run `rake solvency:liability_proof` to generate proofs

cc @hpyhacking