These tests were from back in the day when Bank(then-called Accountant) would call `verify_plan()` on all transactions. Nowadays `verify_plan` is only useful to the client. At can be used to ensure a transaction won't trigger runtime errors.