add quickcheck test for vector