I'm sure this means we will have RealID-compliant cards as the norm here soon.
I don't think WA will release RealID-compliant cards, they would have already since, as you mentioned, they implemented other changes to comply with the act like random ID numbers and adding the "not valid for..." text.
Most non-citizens will already have some form of RealID-compliant document, whether it's a foreign passport, green card, etc. Since the only added requirement for EIDs is citizenship, and since most non-citizens have RealIDs anyway, WADOT likely felt there wasn't enough justification to issue 6 different forms of ID to residents.
Real IDs are good for land/sea travel for CA/MX.
It is pretty clear I mean that WA will not issue non-EDL RealID Drivers Licenses given the context. Given that, I clearly know what restrictions exist to current WA DLs given I know what the two options are. I talk about being able to use an EDL but not a RealID document to cross land borders, so I clearly also know what you can use an EDL and RealID in terms of crossing international borders.
Which kinda makes sense as this is intended to be a pseudo-federal ID, right?