This improves the placement of check_top() macros in a couple of bn_lib