Swarm Model Checking on the GPU