Fraxcast #1: A Framework To Evaluate Automated Stablecoins