Wales full-back Leigh Halfpenny has been discharged from hospital after undergoing scans on the neck injury he suffered against Australia on Saturday.