On the VC-dimension, covering and separating properties of the cycle and spanning tree hypergraphs of graphs