Current status and prospects of muonium spectroscopy at PSI