Progress toward ultra-cold Sr for the AION project—A red MOT and an optical-heterodyne diagnostic tool for injection-locked laser diodes | Synapse