Fix typo
Preserve fall-thru edges from non-call blocks to cfg_exit
Add verbosity control to some warnings
Add verbosity control to some warnings