I suspect that your issue is not directly related to the mapping of the express lanes. I think the problem is simply that there are many routes from south Arlington to Ashburn that differ by less than 5 miles that waze can choose from, but waze only gives the 3 alternate routes. If waze's data doesn't match your experience, your route may be left off the list of options.
Area Manager: Annapolis, Maryland, US
Verizon, Droid Razr Maxx HD, Android 4.1.2, Waze 184.108.40.206