Simplified and HTML lowered statement dumps

Initial import, adaptation, and cleanup of statement simplification, HTML dump. Original code by @zingales. This needs a review.
The idea with this API is that, above all, it makes it easy to inspect a version of the lowered structure simplified for a given concrete output size. The concept with the overloads was to mirror the interface to `realize` directly.