Group actions, cobordisms, and other aspects of 4-manifold theory through the eyes of Floer homology