Added reverify.py, a script to check that balances add up correctly