This is super helpful, thank you! I've heard of CodeRabbit but didn't know about RelayEvals. I'll definitely look into them.
Since you use both, I have a quick beginner question: Does RelayEvals actually catch those 'silent' logic bugs I'm scared of (like breaking a hidden edge-case), or does it mostly just check if the code is well-written? What is the main thing you still have to manually double-check even after they both give it a PASS