Update notes for submitted changes

* Fix some leaks in VfyBasicBlock & BitVector.