Distance-Restricted Folklore Weisfeiler-Leman GNNs with Provable Cycle Counting Power