Add comment about BST functional test

The bug CRV finds is not trivial.