Slightly augment cffi tests, and add comment about possibly unused code