Remove Guard and everything that depended on it
Replace ProofCompressor by Proof => Proof
Refactor Split and MultiSplit
Implement Timeout trait
Split Split.scala into several files
Remove optimization from R&R that does not seem to be significant enough
Simplify reconstruct
Fix Split
Fix info in proof compression CLI
Fix MultiSplit
Merge branch 'feature/EliminateGuard' into develop