Fixed the nitpicks, and removed 4th traversal

  of the layout tree... TODO added to bitfield-ize the boolean
  attributes of BlockFlow.