1. - [ ] Build tx not exposing treasury amount to plutus - [ ] Expect `txInfoCurrentTreasuryAmount` is `Nothing` ----- 2. - [ ] Build tx exposing treasury amount to plutus - [ ] Expect `txInfoCurrentTreasuryAmount` is `Just Value` - [ ] Check current treasury amount: - [ ] without withdrawal - [ ] whilst withdrawing - [ ] after withdrawing -----