Analyzer: don't create an empty object by default in the Block constructor.
Analyzer: reworked the analysis output so it is now buffered per Block and outputted after analyzing each function.