Text this: Scalable Hardware Verification with Symbolic Simulation