Reddit Is Weighing Identity Verification Methods To Combat Its Bot Problem