Running ratctl — Reward-Hackability Auditor for RL Verifiers 🐀 Audit RL verifiers & reward functions for exploits.