* Fix: fixed some bugs

* Feat: added propagation to inclusion states to tx and its outputs

* Feat: finished the propagation down to the tx and its outputs

Co-authored-by: Hans Moog <hm@mkjc.net>