Towards Provably-Secure Analog and Mixed-Signal Locking Against Overproduction