yes box2d seems to be the leader, also i heard a lot of good words about nape. its written in haxe (hence the speed) but can be used in as3 projects with the swc, i recommend checking it out