Fix recursive unswitching regression

Fix recursive unswitching regression

This fixes the recursive unswitching regression by introducing
the ability to track 'handled' as bitmap separately.  It also
fixes the budgeting to properly subtract the original loop size
(the param should probably be changed to a capped scale to not
allow arbitrary relative growth of small loops when there are a
lot of them?)