Use ScalaCheck for arbitrary type reader specs