Bbs cleanup

Had some time on the BART this morning.  This PR:
- uses CAS instead of Set to make converge 8 billion times safer
- cleans up converge
- adds logging to converge
- fixes a subtle error with how we demote pendings