"checkedBodies" bottleneck removed

Now uses google's dense hash set