Являются ли Web Workers частью спецификации HTML5?

Да. Web Workers являются частью спецификации Web Workers, которая изначально была частью спецификации HTML5.