add PrintWord8 instruction, delete ov type and printerTheory

bytecode proofs updated, compiler and compiler proofs not updated
update compiler to use PrintWord8

chooses whether to use a normal Print instruction or a PrintWord8
instruction depending on the string it prints out for the type of the
value. (proofs not updated.)