|I will first comment that I haven't used pockets much.
That said, if this is one trip around the dryer with a dryer sheet, I don't think it's cause to panic. If the diapers themselves were to be coated, that could get ugly, but at this point, worst case is that your absorbent liners aren't going to absorb like they should. Esp. if you don't have anything high stakes going on, personally I'd just see if you have any problems. If you don't really notice much, great, and just make sure you're washing on hot to get rid of the residue in the next wash/over time. I would hope that such limited exposure wouldn't cause troubles, but if you think the liners aren't absorbing right, I'd think a hot wash or two would likely take care of it.
Stripping can mean various things, but the basic concept is to wash in as hot of water as you can get, often without detergent, sometimes with something like vinegar, and often more than once. It depends what the problem is with the diapers. In your case, although I doubt you really need to launch into a full-out stripping, I'd think that detergent would be helpful to break up the softener residue.