Update specs

I tried to run dialyzer on some of my code against re2 and received some errors. When I investigated, I found that re2's spec declarations don't match what the code actually produces. I tried to update the specs to match the C code. I'm not sure I've got it 100% correct, but I can run dialyzer against re2's tests without errors.