Text this: Tightly-Secure Simulation-Sound Quasi-Adaptive NIZK Arguments