Actually validate some properties of the BNK test case.