cleanup some of the functionality we pulled out of the switchcase commit
(supporting functionality has been committed in other branch/merges)
more cleanup
fixes/changes to use DynamicBranch VaSet for switch-case analysis