Can the infinite horizon problem instance be solved under a Markovian Policy graph using SDDP.jl?
Yes.
See Create a general policy graph · SDDP.jl for instructions on how to create an arbitrary graph. I would start with a SDDP.MarkovianGraph and then add the cyclic edges.