add quickcheck test for cbc mode