Enabling methods for covalent drug discovery and their application to the preclinical development of cyclic thiosulfinates to treat neurodegenerative diseases