IsVerified (actually verified) and IsBlueVerified (Twitter Blue subscriber) are React props (hidden attributes, basically) in Twitter’s JavaScript code for every checkmark you see. The extension simply looks for these and changes the appearance of the checkmark accordingly.