Reddit is weighing identity verification methods to combat its bot problem