I maintain TTP, a Linux CLI that routes system TCP and DNS through Tor using nftables. That part isn't novel - kalitorify, nipe and others do it. What I want feedback on is the verification, because I found my own test suite was lying to me. assert...