another CTRDRBG test case, plus some re-factoring