future versions of SNAP will probably have operators to remove ionospheric phase, but currently this is not possible. But it is implemented in GITASAR: SAR image processing for beginners
PSI/SBAS approaches cannot be perfomed on single image pairs, they are based on time-series principles and require at least 20 images if you want good results. Also, they were developed to calculate surface deformation, not DEMs.