reversing computed trace graphs for easier proof analysis (such as
traversal, finding the min depth proofs, etc.). This is only needed for
experimentations so placed in the benchmark package. Also added some
standard serialization/deserialization which required declaring a bunch
of interface/classes as Serializable (I didn't bother generating
serialization IDs so expect some warnings).