Siddharth Suresh

The checks now run in < 60 minutes, not 90 minutes.

### Conservation of Non-Native Assets We would like to add an invariant for non-native assets that mimics the `ConservationOfLumens` invariant. Ideally, we would be able to use the same logic...

1. That's a valid concern. When I thought about this problem initially, I believed that any rollback after balances have been changed would be due to a failed operation, so...