Added blackheight check ("bh(x)" from Cormen et al.) to audit in unit test.