Fixed an issue in the block flattening visitor that was not handling recusrion correctly.
Added a comment to the BlockFlattener mutator to clarify how the recursive flattening works.