The waning of the WIMP? A review of models, searches, and constraints | Synapse