Adds internal w_ labels, fixes some header flags and missing underflow checks

[patricksurry]

Adds all the w labels and switches from using xt to w_ internally. Fix #93

Adds missing underflow checks to a few words (including some that were already flagged as containing them, supporting the idea of #107).

Fixes up some header flags, notably the extraneous HC ones.