Aegis-Kernel: Autonomous Adversarial GPU Invariant & Kernel Proving Workbench