Add randomized tests