With most domain registrations a domain goes through several phases...
1. The domain is active.
2. The domain expires and it enters a grace period, this varies a little by registrar but usually lasts up to ~40 days, during which the prior owner can still renew it for no extra charge.
3. The domain then leaves the grace period and enters a redemption period. This usually lasts ~30 days, during this time the prior owner can still get the domain back but at a fee determined by the registrar, most charge a few hundred dollars.
4. After the redemption period the domain will be listed as something like "Pending Deletion" for a few days and then will become open to public registration.
Pay attention to the registrar's whois database, not verisign. What has happened here is that the registrar has "renewed" the domain with verisign but they have a longer grace period to cancel and get a refund for it's purchase. Therefore when no one renews the domain through the end of the redemption period they will drop the domain.
Basically keep watching it, should not be long now if it's currently pending deletion.. like literally any day now. (Unfortunately they are not exact about these things, only god knows why)