Autoresearch for Optimizing Elliptic-Curve Point Addition in Shor's Algorithm