Verifying GPU Kernels by Test Amplification