Also include timestamps for debug messages
Small optimizations in RVG computation
Fix output methods for local size complexities
Provide some information about RVG construction in log/debugging mode
Better heuristic for finding subsets of rules to orient
Bugfix for assertion error in Farkas with minimal element
Fix separation heuristic: It happened far too often

(It still does, but that's another change)