new: PPP.compute_adj

to update the adjacency matrix from scratch
and also check if the existing adjacency is correct,
which can be used to check any adjacency matrix by creating a temporary partition.
fix: return value from PPP.covers_domain
new: AbstractPwa.verify_transitions, .ts2ppp, .ppp2trans
verify adjacency and transitions produced by discretize
comments and 1 line moved
correctly add all adjacencies between split pieces of insect and diff

This bug resulted in an incorrect adjacency matrix returned by discretize