GPU-Accelerated Verification of Machine Learning Models for Power Systems