Budget deal brings E-Verify back, but with a twist