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