Show HN: Cuq – Formal Verification of Rust GPU Kernels