[REMOVE] Don't use legacy transactor for testing
[REMOVE] Use -O0 -g -ggdb for debugging
Cleanups & rearchitect Taker:
* Taker::cross performs direct & bridged crossing
* Taker::flow tracks flow inside taker
* Assert invariants
* Rename Transactors