Big oil options trades revive speculation about producer hedging