No to both, but the blue cats were stocked in 2013 and 2015 when they were roughly 3.4 inches long and wouldn't be very large yet. There are some nice channel cats however which I've caught accidentally while bass fishing.
Have caught a couple red ear the year after the flood. After the public realized that the back ponds we're open, haven't seen one since. As for the cats, no clue.