Added Positive Balance Invariant

Added invariant to check for positive balance at all times on all
accounts.

* AS_BASIS: Added deferred query and then used that query in the
uncommented invariant.
* AS_CURRENCY_ACCOUNT: Implemented deferred positive query.