Text this: An Automated Synthesis Framework for Benchmarking Quantum Resource Costs of Symmetric-Key Cryptography.