Relational Verification Leaps Forward with RABBit