standard reachability with SAT-based encoding
commenting out non-functioning tests for the time being
actually exercising the list test cases.  looks like everything breaks -_-
all the existing tests explicitly don't use link now
initial tests are promising for SAT-based encoding
forgot par case in forwards_topo
a copy of every test for the SAT-based encoding, and they all pass