Antero Resources has pulled back after a big rally, and one big options trader could be looking for a bounce.