Renderer

Invariant manager does not have access to some statistics, e.g. path compression stats, but progress and most things work.
Rendering for pdr is in early stage but as pdr is bound to change I'll update that later.