Gauge-theoretic obstructions to bounding definite 4-manifolds