Remove incoming_txs and outgoing_txs from contract view of chains

This is much more realistic, as allowing contracts to efficiently access
transaction histories for all addresses is extremely expensive. To do
this, we
* Add an account_balance operation in Chain instead
* Change incoming_txs and outgoing_txs to compute transactions from
  traces
* Require implementations to give a proof-relevant trace, and rework
  proofs to use these, as necessary
3 jobs for master in 5 minutes and 58 seconds
Status Job ID Name Coverage
  Build
passed #89275
au
coq:8.8

00:02:45

passed #89276
au
coq:8.9

00:02:43

failed #89277
au
coq:dev

00:03:12

 
Name Stage Failure
failed
coq:dev Build
     = 3%Z
: Amount
Closed under the global context
make[1]: *** [all] Error 2
CoqMakefile:320: recipe for target 'all' failed
make[1]: Leaving directory '/builds/jakobbotsch/smart-contracts'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1