After Mango Markets exploit, Compound pauses 4 tokens to protect against price manipulation