Add a note to the spec about waitSync effectively being a no-op

Removing the function from the API still seems unwarranted, since
implementing it does not cost much and it would have to be reintroduced
in case WebGL ever starts to allow synchronization between multiple
contexts.