Add quickcheck for palindromes, discover OOB error.