CFGBase: refactor CFGBase.normalize(), and some bug fixes. Handle the case where two blocks overlap but they don't end at the same address since one of them is truncated.
CFGBase: refactor CFGBase.normalize(), and some bug fixes. Handle the case where two blocks overlap but they don't end at the same address since one of them is truncated.

schieb/angr,tyb0807/angr,f-prettyland/angr,chubbymaggie/angr,angr/angr,iamahuman/angr,schieb/angr,angr/angr,f-prettyland/angr,f-prettyland/angr,axt/angr,tyb0807/angr,iamahuman/angr,axt/angr,schieb/angr,chubbymaggie/angr,iamahuman/angr,angr/angr,tyb0807/angr,axt/angr,chubbymaggie/angr