Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation