Just for one more round of testing, I updated and tested the BankDatabaseManager
in the test bank workspace. It worked as expected so far. Finally, I would feel
more comfortable to migrate the modification to our Plutus implementation.