GCS: High-Performance Gate-Level Simulation with GP-GPUs