The hotfix wasn't applied until 10 am PDT, so unfortunately, it didn't occur with the restart. :( We're currently trying to just verify that the fix is in and working properly for those who are on the quest line and were in a Raid instance (started one) after the fix was applied.
This was not made clear at all, the latest post stated that it would be guaranteed after a realm restart.

You are correct, unfortunately. Our original messaging did say it would take place after a restart, but the hotfix was actually applied at 10 a.m. PDT. We do our best to be as accurate as possible on giving a heads up when we can, but unfortunately the hotfix itself wasn't implemented until later.

No Titan Runestone off Lei Shen?