HADES: Automated Hardware Design Exploration for Cryptographic Primitives