No new stock highs, no problem: Options traders bet they’re coming in these namesOptions activity shows traders anticipate fresh highs are around the corner for a handful of names.