Prove account balances are nonnegative

3 jobs for master in 7 minutes and 32 seconds (queued for 2 seconds)